When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-10231
Go to the corresponding Portal

Beal, Jacob ; Bachrach, Jonathan

Programming Manifolds

06361.BealJacob.Paper.1023.pdf (0.2 MB)


Many programming domains involve the manipulation of values distributed through a manifold—examples include sensor networks, smart materials, and biofilms. This paper describes a programming semantics for manifolds based on the amorphous medium abstraction, which places a computational device at every point in the manifold. This abstraction enables the creation of programs that automatically scale to networks of different size and device density. This semantics is currently implemented in our language Proto and compiles for execution on Mica2 Motes.

BibTeX - Entry

  author =	{Jacob Beal and Jonathan Bachrach},
  title =	{Programming Manifolds},
  booktitle =	{Computing Media and Languages for Space-Oriented Computation},
  year =	{2007},
  editor =	{Andr{\'e} DeHon and Jean-Louis Giavitto and Fr{\'e}dric Gruau },
  number =	{06361},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: Amorphous computing, spatial computing, Proto}

Keywords: Amorphous computing, spatial computing, Proto
Seminar: 06361 - Computing Media and Languages for Space-Oriented Computation
Issue Date: 2007
Date of publication: 31.05.2007

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