SPARK (ohjelmointikieli)
Siirry navigaatioon
Siirry 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-kielen kotisivut (Arkistoitu – Internet Archive) (englanniksi)
- Praxis High Integrity Systems - SPARK-kielen ylläpitäjä (Arkistoitu – Internet Archive) (englanniksi)
SPARK-kääntäjiä
[muokkaa | muokkaa wikitekstiä]Koska kaikki SPARK-ohjelmat ovat laillisia Ada-ohjelmia, alla on listattu markkinoilla olevia Ada-kääntäjiä.
- GCC Ada-kääntäjä (Arkistoitu – Internet Archive)
- AdaCore GNAT Professional (Arkistoitu – Internet Archive)
- ObjectAda
- Green Hills