Compilation of Interaction Nets

Abubakar Hassan; Ian Mackie; Shinya Sato

doi:10.1016/j.entcs.2009.10.018

Compilation of Interaction Nets

Abubakar Hassan
, Ian Mackie
, Shinya Sato

École Polytechnique

Department of Informatics
University of Sussex
Laboratoire d'Informatique (LIX)
Faculty of Econoinformatics
Himeji Dokkyo University

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

5 Citations (Scopus)

Résumé

This paper is about a new implementation technique for interaction nets - a visual programming language based on graph rewriting. We compile interaction nets to C, which offers a robust and efficient implementation, in addition to portability. In the presentation of this work we extend the interaction net programming paradigm to introduce a number of features which make it a practical programming language.

langue originale	Anglais
Pages (de - à)	73-90
Nombre de pages	18
journal	Electronic Notes in Theoretical Computer Science
Volume	253
Numéro de publication	4
Les DOIs	https://doi.org/10.1016/j.entcs.2009.10.018
état	Publié - 6 nov. 2009

Accès au document

10.1016/j.entcs.2009.10.018

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{d64af8e67e7c412087022ca57183a4bc,

title = "Compilation of Interaction Nets",

abstract = "This paper is about a new implementation technique for interaction nets - a visual programming language based on graph rewriting. We compile interaction nets to C, which offers a robust and efficient implementation, in addition to portability. In the presentation of this work we extend the interaction net programming paradigm to introduce a number of features which make it a practical programming language.",

keywords = "compilation, interaction nets",

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

year = "2009",

month = nov,

day = "6",

doi = "10.1016/j.entcs.2009.10.018",

language = "English",

volume = "253",

pages = "73--90",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "4",

}

TY - JOUR

T1 - Compilation of Interaction Nets

AU - Hassan, Abubakar

AU - Mackie, Ian

AU - Sato, Shinya

PY - 2009/11/6

Y1 - 2009/11/6

N2 - This paper is about a new implementation technique for interaction nets - a visual programming language based on graph rewriting. We compile interaction nets to C, which offers a robust and efficient implementation, in addition to portability. In the presentation of this work we extend the interaction net programming paradigm to introduce a number of features which make it a practical programming language.

AB - This paper is about a new implementation technique for interaction nets - a visual programming language based on graph rewriting. We compile interaction nets to C, which offers a robust and efficient implementation, in addition to portability. In the presentation of this work we extend the interaction net programming paradigm to introduce a number of features which make it a practical programming language.

KW - compilation

KW - interaction nets

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

U2 - 10.1016/j.entcs.2009.10.018

DO - 10.1016/j.entcs.2009.10.018

M3 - Article

AN - SCOPUS:70350518672

SN - 1571-0661

VL - 253

SP - 73

EP - 90

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 4

ER -

Compilation of Interaction Nets

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation