ohjelmointikieli From Wikipedia, the free encyclopedia
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ä.
Koska kaikki SPARK-ohjelmat ovat laillisia Ada-ohjelmia, alla on listattu markkinoilla olevia Ada-kääntäjiä.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.