Axiomatic Architecture Description Language from FOLDOC

Axiomatic Architecture Description Language

(AADL) A language allowing concise modular specification of multiprocessor architectures from the compiler/operating-system interface level down to chip level. AADL is rich enough to specify target architectures while providing a concise model for clocked microarchitectures.

["AADL: A Net-Based Specification Method for Computer Architecture Design", W. Damm et al in Languages for Parallel Architectures, J.W. deBakker ed, Wiley, 1989].

Last updated: 2003-06-30

Nearby terms:

Axiomatic Architecture Description Language ♦ axiomatic semantics

Try this search on Wikipedia, Wiktionary, Google, OneLook.