Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/14920
Título: | A tool for programming with interaction nets |
Autor(es): | Almeida, José Bacelar Pinto, Jorge Sousa Vilaça, Miguel |
Palavras-chave: | Interaction nets Editor/interpreter |
Data: | 2008 |
Editora: | Elsevier |
Revista: | Electronic Notes in Theoretical Computer Science |
Resumo(s): | 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 interaction nets and interaction rules) graphically, and to convert them to textual notation. This can then be used as input to other tools that implement reduction of nets. INblobs also allows the user to reduce nets within the tool, and includes a mechanism that automatically selects the next active pair to be reduced, following one of the given reduction strategies. The paper also describes other features of the tool, such as the creation of rules from pre-defined templates. |
Tipo: | Artigo |
Descrição: | Proceedings of the Eighth International Workshop on Rule Based Programming (RULE 2007) |
URI: | https://hdl.handle.net/1822/14920 |
DOI: | 10.1016/j.entcs.2008.10.036 |
ISSN: | 1571-0661 |
Versão da editora: | Available from http://www.sciencedirect.com/science/article/pii/S1571066108004301 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
main.pdf | Documento principal | 378,13 kB | Adobe PDF | Ver/Abrir |