SPARK
<language>
An annotated subset of Ada supported by tools supplied by Praxis Critical Systems (originally by PVL).
http://sparkada.com.Last updated: 2001-07-12
Nearby terms:
SPARCsystem 4 ♦ SPARC Xterminal 1 ♦ SPARK ♦ SPARK Annotation Language ♦ SPARKS
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading