Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/776
Título: | Combining interaction nets with externally defined programs |
Autor(es): | Fernández, Maribel Mackie, Ian Pinto, Jorge Sousa |
Palavras-chave: | Interaction nets Rewriting systems Combinations |
Data: | 2001 |
Citação: | APPIA-GULP-PRODE, 2001 : JOINT CONFERENCE ON DECLARATIVE PROGRAMMING, Évora, 2001. [S.l. : s.n.], c.2001. |
Resumo(s): | Many calculi, for instance the lambda-calculus and term rewriting systems, have benefitted from extensions, especially to include data structures and operations which are more naturally defined in another language. A simple example of this is PCF where the lambda-calculus is extended to include natural numbers and some basic functions over this type, which avoids having to use inefficient encodings of numbers. In this paper we present a generalization of interaction nets along these lines. We begin by adding a fixed set of constants and predefined functions, before presenting the main contribution of the paper which is a system of interaction nets combined with an external language where functions and richer data types can be defined. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/776 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
cominedp.pdf | 854,29 kB | Adobe PDF | Ver/Abrir |