An implementation model for interaction nets

Abubakar Hassan; Ian Mackie; Shinya Sato

doi:10.4204/EPTCS.183.5

An implementation model for interaction nets

Abubakar Hassan
, Ian Mackie
, Shinya Sato

École Polytechnique

Theory and Practice of Software Ltd
University of Sussex

Research output: Contribution to journal › Conference article › peer-review

2 Citations (Scopus)

Abstract

To study implementations and optimisations of interaction net systems we propose a calculus to allow us to reason about nets, a concrete data-structure that is in close correspondence with the calculus, and a low-level language to create and manipulate this data structure. These work together so that we can describe the compilation process for interaction nets, reason about the behaviours of the implementation, and study the efficiency and properties.

Original language	English
Pages (from-to)	66-80
Number of pages	15
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	183
DOIs	https://doi.org/10.4204/EPTCS.183.5
Publication status	Published - 26 May 2015
Event	8th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2014 - Vienna, Austria Duration: 13 Jul 2014 → …

Access to Document

10.4204/EPTCS.183.5

Cite this

@article{b8a2e6afa40443019a9f31948a249148,

title = "An implementation model for interaction nets",

abstract = "To study implementations and optimisations of interaction net systems we propose a calculus to allow us to reason about nets, a concrete data-structure that is in close correspondence with the calculus, and a low-level language to create and manipulate this data structure. These work together so that we can describe the compilation process for interaction nets, reason about the behaviours of the implementation, and study the efficiency and properties.",

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

year = "2015",

month = may,

day = "26",

doi = "10.4204/EPTCS.183.5",

language = "English",

volume = "183",

pages = "66--80",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "8th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2014 ; Conference date: 13-07-2014",

}

TY - JOUR

T1 - An implementation model for interaction nets

AU - Hassan, Abubakar

AU - Mackie, Ian

AU - Sato, Shinya

PY - 2015/5/26

Y1 - 2015/5/26

N2 - To study implementations and optimisations of interaction net systems we propose a calculus to allow us to reason about nets, a concrete data-structure that is in close correspondence with the calculus, and a low-level language to create and manipulate this data structure. These work together so that we can describe the compilation process for interaction nets, reason about the behaviours of the implementation, and study the efficiency and properties.

AB - To study implementations and optimisations of interaction net systems we propose a calculus to allow us to reason about nets, a concrete data-structure that is in close correspondence with the calculus, and a low-level language to create and manipulate this data structure. These work together so that we can describe the compilation process for interaction nets, reason about the behaviours of the implementation, and study the efficiency and properties.

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

U2 - 10.4204/EPTCS.183.5

DO - 10.4204/EPTCS.183.5

M3 - Conference article

AN - SCOPUS:84954305024

SN - 2075-2180

VL - 183

SP - 66

EP - 80

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 8th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2014

Y2 - 13 July 2014

ER -

An implementation model for interaction nets

Abstract

Access to Document

Other files and links

Fingerprint

Cite this