Core Operational Semantics of Proto


Mirko Viroli, Jacob Beal, Matteo Casadei

26th Annual ACM Symposium on Applied Computing (SAC 2011), pages 1325-1332
21–25 March 2011
ACM, Tunghai University, TaiChung, Taiwan
Mathew J. Palakal, Chih-Cheng Hung, William Chu, W. Eric Wong (eds.)

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.

 @inproceedings{spatialcomputing-sac11,
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

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY