Meaning of ASL+ in English

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)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.