SPARK (ohjelmointikieli)
Wikipedia
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ä.
[muokkaa] Aiheesta muualla
- SPARK-kielen kotisivut (englanniksi)
- Praxis High Integrity Systems - SPARK-kielen ylläpitäjä (englanniksi)
[muokkaa] SPARK-kääntäjiä
Koska kaikki SPARK-ohjelmat ovat laillisia Ada-ohjelmia, alla on listattu markkinoilla olevia Ada-kääntäjiä.
Yleisimmät ohjelmointikielet (kaikki) (muokkaa) | |||
Tuotantokäytössä: Ada | APL | AWK | Assembly | C | C++ | C# | COBOL | Delphi | Eiffel | Fortran | Java | JavaScript | Lua | Lisp | Objective-C | Pascal | Perl | PHP | PostScript | Python | Ruby | Smalltalk | TCL | Visual Basic
|