Title :
On the Evaluation of Space-Time Functions
Author :
Beal, Jacob ; Usbeck, Kyle
Author_Institution :
BBN Technol., Cambridge, MA, USA
Abstract :
The Proto spatial programming language abstracts the distributed execution of programs as evaluation of space-time functions over dynamically defined subspaces on a manifold. Previously, however, function evaluation has always been defined in terms of a complete in lining of expressions during compilation. This simplified the definition of programs, at the cost of limiting expressiveness and duplicating code in compiled binaries. In this paper, we address these shortcomings, producing a model of in-place function evaluation and analysis of its implications for Proto. We have extended the MIT Proto compiler and Proto Kernel virtual machine to implement this model, and empirically verified the reduction of compiled binary size.
Keywords :
distributed programming; program compilers; specification languages; virtual machines; MIT Proto compiler; Proto Kernel virtual machine; Proto spatial programming language; compiled binary size; distributed program execution; duplicating code; function evaluation; space-time function; Approximation methods; Computational modeling; Context; Delay; Manifolds; Syntactics; Virtual machining;
Conference_Titel :
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), 2011 Fifth IEEE Conference on
Conference_Location :
Ann Arbor, MI
Print_ISBN :
978-1-4577-2029-1
DOI :
10.1109/SASOW.2011.16
