Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/2748
Título: | Functional programming and program transformation with interaction nets |
Autor(es): | Mackie, Ian Pinto, Jorge Sousa Vilaça, Miguel |
Palavras-chave: | Interaction nets Program transformation Visual programming Functional programming |
Data: | Mai-2005 |
Resumo(s): | 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. |
Tipo: | Relatório |
Descrição: | Techon. Report DI-PURe 05.05.02. |
URI: | https://hdl.handle.net/1822/2748 |
Acesso: | Acesso aberto |
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 |