SPARK (ohjelmointikieli)

SPARK on ohjelmointikieli, joka on suunniteltu erityisesti suurta luotettavuutta vaativien järjestelmien ohjelmointiin. SPARK on tarkoin määritelty Ada-kielen alijoukko. Kaikki SPARK-ohjelmat ovat siis laillisia Ada-ohjelmia, ja ne voidaan kääntää Ada-kääntäjällä.

Aiheesta muualla 

 SPARK-kielen kotisivut  
 Praxis High Integrity Systems - SPARK-kielen ylläpitäjä

SPARK-kääntäjiä 

Koska kaikki SPARK-ohjelmat ovat laillisia Ada-ohjelmia, alla on listattu markkinoilla olevia Ada-kääntäjiä.

 GCC Ada-kääntäjä
 AdaCore GNAT Professional 
 ObjectAda
 Green Hills

Ohjelmointikielet