A lightweight abstract machine for interaction nets

Abubakar Hassan, Ian Mackie, Shinya Sato

Abstract


We present a new abstract machine for interaction nets and demonstrate
that an implementation based on the ideas is significantly more efficient than existing interaction net evaluators. The machine, which is founded on a chemical abstract machine formulation of interaction nets, is a simplification of a previous abstract machine for interaction nets. This machine, together with an implementation, is at the heart of current work on using interaction nets as a new foundation as an intermediate language for compiler technology.

Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.29.416

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.29.416.382

Hosted By Universit├Ątsbibliothek TU Berlin.