Jump to content

SPARK (programming language)

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 81.130.120.121 (talk) at 15:59, 8 August 2003. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

www.sparkada.com would be a good place to start to find out about the SPARK programming language, a formally defined sub-set of Ada.