Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1016/j.entcs.2008.10.036 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
interaction system,interaction net,visual editor,existing tool,interaction nets,textual format,editor/interpreter,interaction rule,reduction strategy,visual tool,input interaction net,front end | Visual editor,Notation,Interaction systems,Programming language,Interaction nets,Computer science,Theoretical computer science,Visual tool,Template | Journal |
Volume | ISSN | Citations |
219, | Electronic Notes in Theoretical Computer Science | 8 |
PageRank | References | Authors |
0.62 | 7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
José Bacelar Almeida | 1 | 102 | 8.34 |
Jorge Sousa Pinto | 2 | 160 | 23.19 |
Miguel Vilaça | 3 | 16 | 2.25 |