A lightweight abstract machine for interaction nets

Abubakar Hassan; Ian Mackie; Shinya Sato

doi:10.14279/tuj.eceasst.29.416.382

A lightweight abstract machine for interaction nets

Abubakar Hassan
, Ian Mackie
, Shinya Sato

École Polytechnique

Department of Informatics
University of Sussex
Faculty of Econoinformatics
Himeji Dokkyo University

Research output: Contribution to journal › Article › peer-review

5 Citations (Scopus)

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.

Original language	English
Journal	Electronic Communications of the EASST
Volume	29
DOIs	https://doi.org/10.14279/tuj.eceasst.29.416.382
Publication status	Published - 1 Jan 2010

Keywords

Abstract machine
Interaction nets
Programming languages

Access to Document

10.14279/tuj.eceasst.29.416.382

Cite this

@article{f1eb7afa3d23473e8ce3bc565dfa3d2c,

title = "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.",

keywords = "Abstract machine, Interaction nets, Programming languages",

author = "Abubakar Hassan and Ian Mackie and Shinya Sato",

note = "Publisher Copyright: {\textcopyright} 2010, Universitatsbibliothek TU Berlin.",

year = "2010",

month = jan,

day = "1",

doi = "10.14279/tuj.eceasst.29.416.382",

language = "English",

volume = "29",

journal = "Electronic Communications of the EASST",

issn = "1863-2122",

publisher = "Berlin Universities Publishing",

}

TY - JOUR

T1 - A lightweight abstract machine for interaction nets

AU - Hassan, Abubakar

AU - Mackie, Ian

AU - Sato, Shinya

PY - 2010/1/1

Y1 - 2010/1/1

N2 - 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.

AB - 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.

KW - Abstract machine

KW - Interaction nets

KW - Programming languages

UR - https://www.scopus.com/pages/publications/84978817414

U2 - 10.14279/tuj.eceasst.29.416.382

DO - 10.14279/tuj.eceasst.29.416.382

M3 - Article

AN - SCOPUS:84978817414

SN - 1863-2122

VL - 29

JO - Electronic Communications of the EASST

JF - Electronic Communications of the EASST

ER -

A lightweight abstract machine for interaction nets

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this