The Proto spatial computing language simplifies the creation of scalable, robust, distributed programs by abstracting a network of locally communicating devices as a continuous geometric manifold. However, Proto's successful application in a number of domains is becoming a challenge to its coherence across different platforms and distributions. We thus present an operational semantics for a core subset of the Proto language. This semantics covers all the key operations of the three space-time operator families unique to Proto-restriction, feedback, and neighborhood-as well as a few of the pointwise operations that it shares with most other languages. Because Proto programs are distributed, we also present an operational semantics for their asynchronous execution across a network. This formalization will provide a reference to aid implementers in preserving language coherence across platforms, domains, and distributions.

Core Operational Semantics of Proto

VIROLI, MIRKO;CASADEI, MATTEO
2011

Abstract

The Proto spatial computing language simplifies the creation of scalable, robust, distributed programs by abstracting a network of locally communicating devices as a continuous geometric manifold. However, Proto's successful application in a number of domains is becoming a challenge to its coherence across different platforms and distributions. We thus present an operational semantics for a core subset of the Proto language. This semantics covers all the key operations of the three space-time operator families unique to Proto-restriction, feedback, and neighborhood-as well as a few of the pointwise operations that it shares with most other languages. Because Proto programs are distributed, we also present an operational semantics for their asynchronous execution across a network. This formalization will provide a reference to aid implementers in preserving language coherence across platforms, domains, and distributions.
Proceedings of the 26th Annual ACM Symposium on Applied Computing (SAC 2011)
1325
1332
M. Viroli; J. Beal; M. Casadei
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11585/108515
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? ND
social impact