next up previous contents
Next: The Proof Outline Up: Theory Previous: Theory

The Theorem

A DADL can be defined and used to describe a family of different distributive architectures. A program written in DADL can be compiled into different base-level materializations of the architecture. Each materialization has different performance and resource characteristics leading to an optimizing choice.

Ronald LeRoi Burback