On the Evaluation of Space-Time Functions

Author

Beal, Jacob ; Usbeck, Kyle

Author_Institution

BBN Technol., Cambridge, MA, USA

fYear

2011

fDate

3-7 Oct. 2011

Firstpage

49

Lastpage

54

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SASOW.2011.16

Filename

6114573