Home > Electronics Tutorials > Online Computer Terms Dictionary > A

Online Computer Terms Dictionary - A

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.

(1994-09-14)

 


Nearby terms: ASIS ASK ASL ASL+ ASM ASME ASN
 

Discover

     more......