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

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

2 Citations (Scopus)

Résumé

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.

langue originale	Anglais
Pages (de - à)	66-80
Nombre de pages	15
journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	183
Les DOIs	https://doi.org/10.4204/EPTCS.183.5
état	Publié - 26 mai 2015
Evénement	8th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2014 - Vienna, Autriche Durée: 13 juil. 2014 → …

Accès au document

10.4204/EPTCS.183.5

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@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

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation