A Tool for Programming with Interaction Nets
- Citation:
- Almeida JB, Pinto JS, Vilaça M. 2008. A Tool for Programming with Interaction Nets. Electronic Notes in Theoretical Computer Science. 219:83-96.
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.
Citation Key:
DBLP:journals/entcs/AlmeidaPV08aDOI:
10.1016/j.entcs.2008.10.036
Tags
- Coq (2)
- formalization (1)
- language closure (1)
- MEE-CBC (1)
- Pumping Lemma (2)
- s2n library (1)
- timing attacks (1)
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.