SPARK Annotation Language
<language>
(SAL) ICL, Ltd. Used in the verification of SPARK programs against Z specifications.
Last updated: 1994-12-08
Nearby terms:
SPARC Xterminal 1 ♦ SPARK ♦ SPARK Annotation Language ♦ SPARKS ♦ sparse
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
