The Proto spatial computing language in Beal and Bachrach (2006) 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 challenging its coherence across different platforms and distributions. We thus present a complete operational semantics for the Proto language, as executed asynchronously on a network of fast message-passing devices. This semantics covers all of the operations of the three space–time operator families unique to Proto—restriction, feedback, and neighborhood—as well as the current pointwise operations that it shares with most other languages. This formalization will provide a reference to aid implementers in preserving language coherence across platforms, domains, and distributions. The formalization process has also advanced the Proto language in several ways, which we explain in detail.

M. Viroli, J. Beal, K. Usbeck (2013). Operational Semantics of Proto. SCIENCE OF COMPUTER PROGRAMMING, 78(6), 633-656 [10.1016/j.scico.2012.12.003].

Operational Semantics of Proto

VIROLI, MIRKO;
2013

Abstract

The Proto spatial computing language in Beal and Bachrach (2006) 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 challenging its coherence across different platforms and distributions. We thus present a complete operational semantics for the Proto language, as executed asynchronously on a network of fast message-passing devices. This semantics covers all of the operations of the three space–time operator families unique to Proto—restriction, feedback, and neighborhood—as well as the current pointwise operations that it shares with most other languages. This formalization will provide a reference to aid implementers in preserving language coherence across platforms, domains, and distributions. The formalization process has also advanced the Proto language in several ways, which we explain in detail.
2013
M. Viroli, J. Beal, K. Usbeck (2013). Operational Semantics of Proto. SCIENCE OF COMPUTER PROGRAMMING, 78(6), 633-656 [10.1016/j.scico.2012.12.003].
M. Viroli;J. Beal;K. Usbeck
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: https://hdl.handle.net/11585/152336
 Attenzione

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

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