A lightweight abstract machine for interaction nets
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.
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:
PDFDOI: 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.