SPARK (ohjelmointikieli)

Wikipedia
Loikkaa: valikkoon, hakuun

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[muokkaa | muokkaa wikitekstiä]

SPARK-kääntäjiä[muokkaa | muokkaa wikitekstiä]

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

Tämä tietotekniikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.