Publications » Core Operational Semantics of Proto

Core Operational Semantics of Proto

Mirko Viroli, Jacob Beal, Matteo Casadei
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.
26th Annual ACM Symposium on Applied Computing (SAC 2011), pages 13251332, {2125~}#mar 2011.
Mathew J. Palakal, Chih-Cheng Hung, William Chu, W. Eric Wong (eds.), ACM, Tunghai University, TaiChung, Taiwan
	Address = {Tunghai University, TaiChung, Taiwan},
	Author = {Viroli, Mirko and Beal, Jacob and Casadei, Matteo},
        Booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
        Editor = {Palakal, Mathew J. and Hung, Chih-Cheng and Chu, William and Wong, W. Eric},
        Isbn = {978-1-4503-0113-8},
        Month = {21--25~} # mar,
	Pages = {1325--1332},
	Publisher = {ACM},
	Title = {Core Operational Semantics of {P}roto},
	Volume = {II: Artificial Intelligence & Agents, Information Systems, and Software Development},
	Year = 2011}