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.
Wikipage disambiguates
dialects
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 Ada, SPARK 95 – podzbiór ...... dny z deklaracjami formalnymi.
@pl
SPARK es un lenguaje de progra ...... rré y Trevor Jennings en dicha
@es
SPARK is a formally defined co ...... f the GNAT Ada 2012 front-end.
@en
SPARK是一种安全的、经正式定义的编程语言。它被设计用来支 ...... 定义使得多种静态分析技术在SPARK源代码的应用中成为可能。
@zh
latest release date
2015-02-17
latest release version
license
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
727,214,907
implementations
SPARK Pro, SPARK GPL Edition
operating system
subject
comment
SPARK Ada, SPARK 95 – podzbiór ...... .in. wewnętrzna kontrola liczb
@pl
SPARK es un lenguaje de progra ...... deriva de «SPADE Ada Kernel».
@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
@es
SPARK
@zh
wasDerivedFrom
homepage
isPrimaryTopicOf
name
SPARK
@en