Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/70349
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Pardo, Alberto | por |
dc.contributor.author | Fernandes, João Paulo Sousa Ferreira | por |
dc.contributor.author | Saraiva, João | por |
dc.date.accessioned | 2021-02-19T15:35:32Z | - |
dc.date.available | 2021-02-19T15:35:32Z | - |
dc.date.issued | 2011-06-01 | - |
dc.identifier.issn | 1388-3690 | - |
dc.identifier.uri | https://hdl.handle.net/1822/70349 | - |
dc.description.abstract | Functional programs often combine separate parts using intermediate data structures for communicating results. Programs so defined are modular, easier to understand and maintain, but suffer from inefficiencies due to the generation of those gluing data structures. To eliminate such redundant data structures, some program transformation techniques have been proposed. One such technique is shortcut fusion, and has been studied in the context of both pure and monadic functional programs. In this paper, we study several shortcut fusion extensions, so that, alternatively, circular or higher-order programs are derived. These extensions are also provided for effect-free programs and monadic ones. Our work results in a set of generic calculation rules, that are widely applicable, and whose correctness is formally established. | por |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia | por |
dc.language.iso | eng | por |
dc.rights | openAccess | por |
dc.subject | Shortcut fusion | por |
dc.subject | Circular and higher-order programming | por |
dc.subject | Monadic computations | por |
dc.title | Shortcut fusion rules for the derivation of circular and higher-order programs | por |
dc.type | article | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://link.springer.com/journal/10990/volumes-and-issues/24-1 | por |
oaire.citationStartPage | 115 | por |
oaire.citationEndPage | 149 | por |
oaire.citationIssue | 1-2 | por |
oaire.citationVolume | 24 | por |
dc.date.updated | 2021-02-15T11:06:02Z | - |
dc.identifier.eissn | 1573-0557 | - |
dc.identifier.doi | 10.1007/s10990-011-9076-x | por |
sdum.export.identifier | 8945 | - |
sdum.journal | Higher-Order and Symbolic Computation | por |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
hosc11.pdf | 950,42 kB | Adobe PDF | Ver/Abrir |