Conference proceeding
Core operational semantics of Proto
Proceedings of the 2011 ACM Symposium on Applied Computing, pp.1325-1332
ACM Conferences
SAC'11: The 2011 ACM Symposium on Applied Computing
03/21/2011
DOI: 10.1145/1982185.1982472
Abstract
The Proto spatial computing language [6] 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.
Details
- Title: Subtitle
- Core operational semantics of Proto
- Creators
- Mirko Viroli - University of BolognaJacob Beal - BBN Technologies, Cambridge, MAMatteo Casadei - University of Bologna
- Resource Type
- Conference proceeding
- Publication Details
- Proceedings of the 2011 ACM Symposium on Applied Computing, pp.1325-1332
- Conference
- SAC'11: The 2011 ACM Symposium on Applied Computing
- Publisher
- ACM
- Series
- ACM Conferences
- DOI
- 10.1145/1982185.1982472
- Language
- English
- Date published
- 03/21/2011
- Academic Unit
- Electrical and Computer Engineering
- Record Identifier
- 9984627317402771
Metrics
1 Record Views