H ? « »

Language peer sets for ADL:
United States
United States/0


software specification language 

alternate simple view
Country: United States

for Algebraic Design Language

Tim Sheard

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