SPARK (programming language)
SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential. It facilitates the development of applications that demand safety, security, or business integrity. Originally, there were three versions of the SPARK language (SPARK83, SPARK95, SPARK2005) based on Ada 83, Ada 95 and Ada 2005 respectively.
influenced
Wikipage disambiguates
Ada (programming language)Alt-ErgoAltran PraxisAutomated theorem provingAvionics softwareComparison of programming languages (syntax)Data transformationDesign by contractExtended static checkingFormal methodsFrama-CGenerational list of programming languagesHalting problemHistory of softwareIBM Watson StudioLibrary of Congress Classification:Class Q -- ScienceList of programming languagesList of tools for static code analysisLunar IceCubeParaSail (programming language)RavenSPARKRavenscar profileRust (programming language)SPADE Ada KernelSPARK ExaminerSPARK LanguageSPARK Programming LanguageSPARK ToolsetSPARK languageSPARK programming languageSatisfiability modulo theoriesSkein (hash function)SparkSpark languageSpark programming languageStatic program analysisTimeline of programming languagesType safetyVermont Lunar CubeSatWhiley (programming language)
Link from a Wikipage to another Wikipage
dialects
influenced
primaryTopic
SPARK (programming language)
SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential. It facilitates the development of applications that demand safety, security, or business integrity. Originally, there were three versions of the SPARK language (SPARK83, SPARK95, SPARK2005) based on Ada 83, Ada 95 and Ada 2005 respectively.
has abstract
SPARK (SPADE Ada Kernel) — это ...... нового верификатора GNATprove.
@ru
SPARK Ada, SPARK 95 – podzbiór ...... dny z deklaracjami formalnymi.
@pl
SPARK es un lenguaje de progra ...... ujo de datos y de información.
@es
SPARK is a formally defined co ...... f the GNAT Ada 2012 front-end.
@en
SPARK是一种安全的、经正式定义的编程语言。它被设计用来支 ...... 定义使得多种静态分析技术在SPARK源代码的应用中成为可能。
@zh
developer
latest release date
2017-03-14
latest release version
license
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,015,277,066
Link from a Wikipage to another Wikipage
developer
Altran and AdaCore
@en
implementations
SPARK Pro, SPARK GPL Edition
@en
latest release date
2017-03-14
latest release version
license
name
SPARK
@en
operating system
paradigm
website
wikiPageUsesTemplate
subject
comment
SPARK (SPADE Ada Kernel) — это ...... 2014 (Ada 2012) — ко второму.
@ru
SPARK Ada, SPARK 95 – podzbiór ...... by iteracji oraz czasu wykonan
@pl
SPARK es un lenguaje de progra ...... ujo de datos y de información.
@es
SPARK is a formally defined co ...... 95 and Ada 2005 respectively.
@en
SPARK是一种安全的、经正式定义的编程语言。它被设计用来支 ...... 定义使得多种静态分析技术在SPARK源代码的应用中成为可能。
@zh
label
SPARK (informatyka)
@pl
SPARK (programming language)
@en
SPARK (язык программирования)
@ru
SPARK
@es
SPARK
@zh
sameAs
wasDerivedFrom
homepage
isPrimaryTopicOf
name
SPARK
@en