Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


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.


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

©2018 Martin Webb