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

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

5 Citations (Scopus)

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.

Original language	English
Pages (from-to)	73-90
Number of pages	18
Journal	Electronic Notes in Theoretical Computer Science
Volume	253
Issue number	4
DOIs	https://doi.org/10.1016/j.entcs.2009.10.018
Publication status	Published - 6 Nov 2009

Keywords

compilation
interaction nets

Access to Document

10.1016/j.entcs.2009.10.018

Cite this

@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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this