Language peer sets for ADL:
software specification languagealternate simple view
Country: United States
for Algebraic Design Language
ADL is a higher-order software specification language in which control is expressed through a family of type-parametric combinators, rather than through explicitly recursive function definitions. ADL is based upon the mathematical concept of structure algebras and coalgebras. The declaration of an algebraic signature specifies a variety of structure algebras. A signature declaration implicitly defines the terms of a particular algebra, the free term algebra of the signature, which corresponds to a datatype in a typed, functional programming language such as ML, Haskell or Miranda.
The explicit control information found in ADL combinators can be exploited in the compilation phase to achieve efficient translation. Many transformations which heretofore either required human intervention in the form of "eureka" steps or generalization choices, or time consuming search based analysis can be performed by simple inspection or reduction based techniques.
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder