Back SPARK (programming language) English SPARK Spanish SPARK (informatyka) Polish SPARK (язык программирования) Russian SPARK (мова програмування) Ukrainian SPARK Chinese
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ä.