# A Language for Large Ensembles of Independently Executing Nodes

In Proceedings of the International Conference on Logic Programming (ICLP '09)

Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, and Jason D. Campbell

Jul 1990

## Abstract

@inproceedings{ashley-rollman-iclp09,
author = {Ashley-Rollman, Michael P. and Lee, Peter and Goldstein,
Seth Copen and Pillai, Padmanabhan and Campbell, Jason D.},
booktitle = {Proceedings of the International Conference on Logic
Programming (ICLP '09)},
title = {A Language for Large Ensembles of Independently Executing
Nodes},
year = {2009},
month = {Jul},
keywords = {Distributed Systems, Meld, Programming Languages},
url = {http://www.cs.cmu.edu/~claytronics/papers/ashley-rollman-iclp09.pdf},
abstract = {We address how to write programs for distributed
computing systems in which the network topology can change
dynamically. Examples of such systems, which we call {\em
ensembles}, include programmable sensor networks (where the
network topology can change due to failures in the nodes or
links) and modular robotics systems (whose physical configuration
can be rearranged under program control). We extend Meld, a logic
programming language that allows an ensemble to be viewed as a
single computing system. In addition to proving some key
properties of the language, we have also implemented a complete
compiler for Meld. It generates code for TinyOS and for a
Claytronics simulator. We have successfully written correct,
efficient, and complex programs for ensembles containing over one
million nodes.},
booktitle = {Proceedings of the International Conference on Logic
Programming (ICLP '09)},
}