Next: The Proof Outline
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