SPARK programming language

GPTKB entity

Statements (25)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:basedOn gptkb:Ada_programming_language
gptkbp:designedFor high-integrity software
gptkbp:developer gptkb:Altran_UK
gptkb:Praxis_Critical_Systems
gptkb:AdaCore
gptkbp:firstAppearance 1990
https://www.w3.org/2000/01/rdf-schema#label SPARK programming language
gptkbp:influenced gptkb:Ada_programming_language
high-assurance software development
gptkbp:latestReleaseVersion gptkb:SPARK_2014
gptkbp:license gptkb:GPL
gptkbp:paradigm imperative programming
contract-based programming
gptkbp:supports formal verification
gptkbp:typingDiscipline strong
static
gptkbp:used_in gptkb:military
aerospace industry
railway industry
gptkbp:usedFor safety-critical systems
security-critical systems
gptkbp:website https://www.adacore.com/sparkpro
gptkbp:bfsParent gptkb:AdaCore
gptkbp:bfsLayer 6