Interaction nets: Programming language design and implementation

Abubakar Hassan; Ian Mackie; Shinya Sato

doi:10.14279/tuj.eceasst.10.156.144

Interaction nets: Programming language design and implementation

Abubakar Hassan
, Ian Mackie
, Shinya Sato

École Polytechnique

University of Sussex
Himeji Dokkyo University

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

3 Citations (Scopus)

Abstract

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.

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

Keywords

Interaction Nets
Programming languages

Access to Document

10.14279/tuj.eceasst.10.156.144

Cite this

@article{e2c0237c544a4df1930025a9a7a3483f,

title = "Interaction nets: Programming language design and implementation",

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

keywords = "Interaction Nets, Programming languages",

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

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

year = "2008",

month = jan,

day = "1",

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

language = "English",

volume = "10",

journal = "Electronic Communications of the EASST",

issn = "1863-2122",

publisher = "Berlin Universities Publishing",

}

TY - JOUR

T1 - Interaction nets

T2 - Programming language design and implementation

AU - Hassan, Abubakar

AU - Mackie, Ian

AU - Sato, Shinya

PY - 2008/1/1

Y1 - 2008/1/1

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

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

KW - Interaction Nets

KW - Programming languages

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

U2 - 10.14279/tuj.eceasst.10.156.144

DO - 10.14279/tuj.eceasst.10.156.144

M3 - Article

AN - SCOPUS:84977570312

SN - 1863-2122

VL - 10

JO - Electronic Communications of the EASST

JF - Electronic Communications of the EASST

ER -

Interaction nets: Programming language design and implementation

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this