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 |
