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

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

3 Citations (Scopus)

Résumé

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.

langue originale	Anglais
journal	Electronic Communications of the EASST
Volume	10
Les DOIs	https://doi.org/10.14279/tuj.eceasst.10.156.144
état	Publié - 1 janv. 2008

Accès au document

10.14279/tuj.eceasst.10.156.144

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@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

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation