Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/2202
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Cunha, Alcino | - |
dc.contributor.author | Pinto, Jorge Sousa | - |
dc.date.accessioned | 2005-06-15T10:07:12Z | - |
dc.date.available | 2005-06-15T10:07:12Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | "Fundamenta informaticae". ISSN 0169-2968. 66:4 (2005) 1-38. | eng |
dc.identifier.issn | 0169-2968 | - |
dc.identifier.uri | https://hdl.handle.net/1822/2202 | - |
dc.description.abstract | Functional programs are particularly well suited to formal manipulation by equational reasoning. In particular, it is straightforward to use calculational methods for program transformation. Well-known transformation techniques, like tupling or the introduction of accumulating parameters, can be implemented using calculation through the use of the fusion (or promotion) strategy. In this paper we revisit this transformation method, but, unlike most of the previous work on this subject, we adhere to a pure point-free calculus that emphasizes the advantages of equational reasoning. We focus on the accumulation strategy initially proposed by Bird, where the transformed programs are seen as higher-order folds calculated systematically from a specification. The machinery of the calculus is expanded with higher-order point-free operators that simplify the calculations. A substantial number of examples (both classic and new) are fully developed, and we introduce several shortcut optimization rules that capture typical transformation patterns. | eng |
dc.description.sponsorship | Fundação para a Ciência e Tecnologia (FCT) - POSI/CHS/44304/2002 | por |
dc.language.iso | eng | eng |
dc.publisher | IOS Press | por |
dc.rights | openAccess | eng |
dc.subject | Functional programming | eng |
dc.subject | Program transformation | eng |
dc.subject | Program calculation | eng |
dc.subject | Point-free programming | eng |
dc.subject | Accumulation strategy | eng |
dc.title | Point-free program transformation | eng |
dc.type | article | eng |
dc.peerreviewed | yes | eng |
oaire.citationStartPage | 315 | por |
oaire.citationEndPage | 352 | por |
oaire.citationIssue | 4 | por |
oaire.citationVolume | 66 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Fundamenta Informaticae | por |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
poifpt-final.pdf | 221,46 kB | Adobe PDF | Ver/Abrir |