SPARK

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

http://sparkada.com.



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