You are here: irt.org | FOLDOC | SPARK
<language> An annotated subset of Ada supported by tools supplied by Praxis Critical Systems (originally by PVL).
(2001-07-12)
Nearby terms: SPARCstation 20 « SPARCsystem 4 « SPARC Xterminal 1 « SPARK » SPARK Annotation Language » SPARKS » sparse
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