License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
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://dagstuhl.sunsite.rwth-aachen.de/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
Collection: 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
Issue Date: 2016
Date of publication: 17.06.2016

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