Interaction nets: programming language design and implementation

: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. In the same way that the -calculus is the foundation for functional programming, or horn clauses are the foundation for logic programming, we give in this paper an overview of a substantial software system that is currently under development to support interaction based computation, and in particular the compilation of interaction nets.

• Type: Journal
• Year: 2008
• Where: ECEASST
• Authors: Abubakar Hassan, Ian Mackie, Shinya Sato
• Keywords: ECEASST 2008, Interaction Based Computation, Interaction Nets, Term Rewriting Systems