Axiomatic Architecture Description Language
<language, architecture, parallel> (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].
(2003-06-30)
Nearby terms:
AXIOM « axiom « AXIOM* « Axiomatic Architecture
Description Language » axiomatic semantics »
axiomatic set theory » Axiom of Choice
|