Journal article
Operational semantics of proto
Science of computer programming, Vol.78(6), pp.633-656
06/01/2013
DOI: 10.1016/j.scico.2012.12.003
Abstract
The Proto spatial computing language in Beal and Bachrach (2006) [1] 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. (C) 2012 Elsevier B.V. All rights reserved.
Details
- Title: Subtitle
- Operational semantics of proto
- Creators
- Mirko Viroli - University of BolognaJacob Beal - BBN Technol, Cambridge, MA 02138 USAKyle Usbeck - BBN Technol, Cambridge, MA 02138 USA
- Resource Type
- Journal article
- Publication Details
- Science of computer programming, Vol.78(6), pp.633-656
- DOI
- 10.1016/j.scico.2012.12.003
- ISSN
- 0167-6423
- eISSN
- 1872-7964
- Publisher
- Elsevier
- Number of pages
- 24
- Grant note
- 256873 / EU FP7 project "SAPERE - Self-aware Pervasive Service Ecosystems" W91CRB-11-C-0052 / DARPA DSO; United States Department of Defense; Defense Advanced Research Projects Agency (DARPA)
- Language
- English
- Date published
- 06/01/2013
- Academic Unit
- Electrical and Computer Engineering
- Record Identifier
- 9984627251002771
Metrics
9 Record Views