SPARK

<language> An annotated subset of Ada supported by tools supplied by Praxis Critical Systems (originally by PVL).

http://sparkada.com.

(2001-07-12)

Try this search on Wikipedia, OneLook, Google

Nearby terms: SPARCstation 20 « SPARCsystem 4 « SPARC Xterminal 1 « SPARK » SPARK Annotation Language » SPARKS » sparse