ASL+

<language, specification>

An algebraic specification language by David Aspinall of the University of Edinburgh. ASL+ has rules for proving the satisfaction of specifications. It can also be viewed as a type theory with subtyping, featuring contravariant refinement for Pi-abstracted specifications and a notion of stratified equality for higher-order objects.

Last updated: 1994-09-14

Nearby terms:

ASIS ♦ ASK ♦ ASL ♦ ASL+ ♦ As Low As Reasonably Practicable ♦ ASM ♦ ASME

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

Loading