Encontrados 8 documentos, a visualizar página 1 de 1
Iterators and interaction
Mackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelEigth International Workshop on Computing with Terms and Graphs (TERMGRAPH’09), 2009 ; We propose a method for encoding iterators (and recursion operators in general) using interaction nets. There are two main applications for this: the method can be used to obtain a visual notation for functional programs, in a visual programming system; and it can be used to extend the existing translations of the λ-calculus...
A tool for programming with interaction nets
Almeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelProceedings of the Eighth International Workshop on Rule Based Programming (RULE 2007) ; This paper introduces INblobs, a visual tool developed at Minho for integrated development with Interaction Nets. Most of the existing tools take as input interaction nets and interaction rules represented in a textual format. INblobs is first of all a visual editor that allows users to edit interaction systems (both inter...
Token-passing nets for functional languages
Almeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelProceedings 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 sys...
Visual programming with recursion patterns in interaction nets
Mackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelIn this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. We consider the use of recursion patterns as a programming idiom, and introduce a suitable archetype/instantiation mechanism for interaction agents, which allows one to define agents whose behaviour is based on recursion patterns.
A local graph-rewriting system for deciding equality in sum-product theories
Almeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelProceedings of the Third International Workshop on Term Graph Rewriting (TERMGRAPH 2006) ; In this paper we give a graph-based decision procedure for a calculus with sum and product types. Although our motivation comes from the Bird-Meertens approach to reasoning algebraically about functional programs, the language used here can be seen as the internal language of a category with binary products and coproduct...
Visual programming with recursion patterns in interaction nets
Mackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelIn this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. We consider the use of recursion patterns as a programming idiom, and introduce a suitable archetype/instantiation mechanism for interaction agents, which allows one to define agents whose behaviour is based on recursion patterns.
A local graph-rewriting system for deciding equality in sum-product theories : ...
Pinto, Jorge Sousa; Almeida, José Bacelar; Vilaça, MiguelIn this paper we give a graph-based decision procedure for a calculus with sum and product types. Al- though our motivation comes from the Bird-Meertens approach to reasoning algebraically about functional programs, the language used here can be seen as the internal language of a category with binary products and coproducts. As such, the decision procedure presented has independent interest. A standard approach...
Functional programming and program transformation with interaction nets
Mackie, Ian; Pinto, Jorge Sousa; Vilaça, MiguelTechon. Report DI-PURe 05.05.02. ; 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 fr...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||