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.



< Previous Terms Terms Containing ASL+ Next Terms >
ASIC
A Simulation Process-Oriented Language
ASIS
ASK
ASL
ASL+
SFLV
University of Edinburgh
ASM
ASME
ASN
ASN.1
ASP