** Next:** The Proof Outline
** Up:** Theory
** Previous:** Theory

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*

*1998-12-16*