You are here: irt.org | FOLDOC | 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+ » As Low As Reasonably Practicable » ASM » ASME
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL