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

SPARK Annotation Language

You are here: irt.org | FOLDOC | SPARK Annotation Language

<language> (SAL) ICL, Ltd. Used in the verification of SPARK programs against Z specifications.


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

©2018 Martin Webb