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