Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/2748
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Mackie, Ian | - |
dc.contributor.author | Pinto, Jorge Sousa | - |
dc.contributor.author | Vilaça, Miguel | - |
dc.date.accessioned | 2005-09-02T10:09:15Z | - |
dc.date.available | 2005-09-02T10:09:15Z | - |
dc.date.issued | 2005-05 | - |
dc.identifier.uri | https://hdl.handle.net/1822/2748 | - |
dc.description | Techon. Report DI-PURe 05.05.02. | eng |
dc.description.abstract | In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. We consider the use of recursion patterns and introduce a suitable archetype/instantiation mechanism for interaction agents. We also consider program transformation by fusion, a well-known transformation technique, and show that this extends smoothly to our visual programming framework. Examples of applying this technique include transformations of two-pass functions into single-pass ones, and the introduction of accumulations. | eng |
dc.language.iso | eng | eng |
dc.rights | openAccess | eng |
dc.subject | Interaction nets | eng |
dc.subject | Program transformation | eng |
dc.subject | Visual programming | eng |
dc.subject | Functional programming | eng |
dc.title | Functional programming and program transformation with interaction nets | eng |
dc.type | report | eng |
Aparece nas coleções: | DI/CCTC - Relatórios Técnicos |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
PUReTR050502.pdf | 689,87 kB | Adobe PDF | Ver/Abrir |