Token-passing nets for functional languages

• Autor(es): Almeida, José Bacelar ; Pinto, Jorge Sousa ; Vilaça, Miguel
• Data: 2008
• Identificador Persistente: http://hdl.handle.net/1822/14921
• Origem: RepositóriUM - Universidade do Minho
• Assunto(s): Interaction nets; Reduction strategies; λ-calculus; Recursion
• Tipo de Documento: Artigo
• Idioma: Inglês

Descrição

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007) Token-passing nets were proposed by Sinot as a simple mechanism for encoding evaluation strategies for the λ-calculus in interaction nets. This work extends token-passing nets to cover a typed functional language equipped with structured types and unrestricted recursion. The resulting interaction system is derived systematically from the chosen big-step operational semantics. Along the way, we actually characterize and discuss several design decisions of token-passing nets and extend them in order to achieve simpler interaction net systems with a higher degree of embedded parallelism.