License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSCD.2016.35
URN: urn:nbn:de:0030-drops-59896
URL: http://drops.dagstuhl.de/opus/volltexte/2016/5989/
Go to the corresponding LIPIcs Volume Portal


Gimenez, Stéphane ; Obwaller, David

Interaction Automata and the ia2d Interpreter

pdf-format:
LIPIcs-FSCD-2016-35.pdf (0.6 MB)


Abstract

We introduce interaction automata as a topological model of computation and present the conceptual plane interpreter ia2d. Interaction automata form a refinement of both interaction nets and cellular automata models that combine data deployment, memory management and structured computation mechanisms. Their local structure is inspired from pointer machines and allows an asynchronous spatial distribution of the computation. Our tool can be considered as a proof-of-concept piece of abstract hardware on which functional programs can be run in parallel.

BibTeX - Entry

@InProceedings{gimenez_et_al:LIPIcs:2016:5989,
  author =	{St{\'e}phane Gimenez and David Obwaller},
  title =	{{Interaction Automata and the ia2d Interpreter}},
  booktitle =	{1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)},
  pages =	{35:1--35:11},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-010-1},
  ISSN =	{1868-8969},
  year =	{2016},
  volume =	{52},
  editor =	{Delia Kesner and Brigitte Pientka},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/5989},
  URN =		{urn:nbn:de:0030-drops-59896},
  doi =		{10.4230/LIPIcs.FSCD.2016.35},
  annote =	{Keywords: Interaction nets, computation models, parallel computation, functional programming}
}

Keywords: Interaction nets, computation models, parallel computation, functional programming
Seminar: 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
Issue Date: 2016
Date of publication: 16.06.2016


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI