SPARK Annotation Language

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

Last updated: 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

Loading