H ?
«
‹
←
→
›
»
Language peer sets for ADL:
United States↑ United States/0↑ ## ADL(ID:3651/adl004)## software specification languagealternate simple viewCountry: 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. Structures: Resources - ADL Home page
- ADL Report
- Optimizing ADL programs
- Improving Programs which Recurse over Multiple Inductive Structures
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder |