<language> (SAL) ICL, Ltd. Used in the verification of SPARK programs against Z specifications.
(1994-12-08)
Try this search on Wikipedia, OneLook, Google
Nearby terms: SPARCsystem 4 « SPARC Xterminal 1 « SPARK « SPARK Annotation Language » SPARKS » sparse » Spatial Technologies
