You are here: irt.org | FOLDOC | SPARK Annotation Language
<language> (SAL) ICL, Ltd. Used in the verification of SPARK programs against Z specifications.
(1994-12-08)
Nearby terms: SPARCsystem 4 « SPARC Xterminal 1 « SPARK « SPARK Annotation Language » SPARKS » sparse » Spatial Technologies
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