Matches in DBpedia 2015-04 for { <http://dbpedia.org/resource/SPARK_(programming_language)> ?p ?o }
Showing triples 1 to 86 of
86
with 100 triples per page.
- SPARK_(programming_language) abstract "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.A fourth version of the SPARK language, SPARK 2014, based on Ada 2012, was released on April 30, 2014. SPARK 2014 is a complete re-design of the language and supporting verification tools.The SPARK language consists of a well-defined subset of the Ada language that uses contracts to describe the specification of components in a form that is suitable for both static and dynamic verification.In SPARK83/95/2005, the contracts are encoded in Ada comments (and so are ignored by any standard Ada compiler), but are processed by the SPARK "Examiner" and its associated tools.SPARK 2014, in contrast, uses Ada 2012's built-in "aspect" syntax to express contracts, bringing them into the core of the language [2]. The main tool for SPARK 2014 (GNATprove) is based on the GNAT/GCC infrastructure, and re-uses almost the entirety of the GNAT Ada 2012 front-end.".
- SPARK_(programming_language) developer AdaCore.
- SPARK_(programming_language) developer Altran.
- SPARK_(programming_language) influencedBy Ada_(programming_language).
- SPARK_(programming_language) influencedBy Eiffel_(programming_language).
- SPARK_(programming_language) latestReleaseVersion "14.0.1".
- SPARK_(programming_language) license GNU_General_Public_License.
- SPARK_(programming_language) wikiPageExternalLink libre.adacore.com.
- SPARK_(programming_language) wikiPageExternalLink lifeflow.mae.virginia.edu.
- SPARK_(programming_language) wikiPageExternalLink 001532.html.
- SPARK_(programming_language) wikiPageExternalLink muen.codelabs.ch.
- SPARK_(programming_language) wikiPageExternalLink sparkpro.
- SPARK_(programming_language) wikiPageExternalLink tokeneer.
- SPARK_(programming_language) wikiPageExternalLink spark.aspx.
- SPARK_(programming_language) wikiPageExternalLink www.altran.com.
- SPARK_(programming_language) wikiPageExternalLink 0,1144,0201175177,00.html.
- SPARK_(programming_language) wikiPageExternalLink SPARK__The_Proven_Approach_to_High_Integrity_Software.
- SPARK_(programming_language) wikiPageExternalLink 200512-Croxford.pdf.
- SPARK_(programming_language) wikiPageExternalLink www.cubesatlab.org.
- SPARK_(programming_language) wikiPageExternalLink www.safety-club.org.uk.
- SPARK_(programming_language) wikiPageExternalLink www.spark-2014.org.
- SPARK_(programming_language) wikiPageExternalLink www.spark-2014.org.
- SPARK_(programming_language) wikiPageExternalLink 1454.
- SPARK_(programming_language) wikiPageID "291874".
- SPARK_(programming_language) wikiPageRevisionID "645533657".
- SPARK_(programming_language) developer "Altran and AdaCore".
- SPARK_(programming_language) hasPhotoCollection SPARK_(programming_language).
- SPARK_(programming_language) implementations "SPARK Pro, SPARK GPL Edition".
- SPARK_(programming_language) influencedBy Ada_(programming_language).
- SPARK_(programming_language) influencedBy Eiffel_(programming_language).
- SPARK_(programming_language) latestReleaseVersion "14".
- SPARK_(programming_language) license GNU_General_Public_License.
- SPARK_(programming_language) logo "250".
- SPARK_(programming_language) name "SPARK".
- SPARK_(programming_language) operatingSystem Cross-platform.
- SPARK_(programming_language) operatingSystem Linux.
- SPARK_(programming_language) operatingSystem Microsoft_Windows.
- SPARK_(programming_language) operatingSystem OS_X.
- SPARK_(programming_language) paradigm Programming_paradigm.
- SPARK_(programming_language) typing Nominal_type_system.
- SPARK_(programming_language) typing Strong_and_weak_typing.
- SPARK_(programming_language) typing Type_safety.
- SPARK_(programming_language) typing Type_system.
- SPARK_(programming_language) website libre.adacore.com.
- SPARK_(programming_language) website sparkpro.
- SPARK_(programming_language) wordnet_type synset-programming_language-noun-1.
- SPARK_(programming_language) wordnet_type synset-software-noun-1.
- SPARK_(programming_language) subject Category:Ada_(programming_language).
- SPARK_(programming_language) subject Category:Ada_programming_language_family.
- SPARK_(programming_language) subject Category:Algol_programming_language_family.
- SPARK_(programming_language) subject Category:Concurrent_programming_languages.
- SPARK_(programming_language) subject Category:Formal_specification_languages.
- SPARK_(programming_language) subject Category:Procedural_programming_languages.
- SPARK_(programming_language) subject Category:Programming_languages_created_in_the_20th_century.
- SPARK_(programming_language) subject Category:Statically_typed_programming_languages.
- SPARK_(programming_language) type Abstraction100002137.
- SPARK_(programming_language) type ArtificialLanguage106894544.
- SPARK_(programming_language) type Communication100033020.
- SPARK_(programming_language) type FormalSpecificationLanguages.
- SPARK_(programming_language) type Language106282651.
- SPARK_(programming_language) type ProgrammingLanguage106898352.
- SPARK_(programming_language) type ProgrammingLanguagesCreatedInThe20thCentury.
- SPARK_(programming_language) type ProgrammingLanguage.
- SPARK_(programming_language) type Software.
- SPARK_(programming_language) type Work.
- SPARK_(programming_language) type CreativeWork.
- SPARK_(programming_language) type InformationEntity.
- SPARK_(programming_language) type Thing.
- SPARK_(programming_language) type Q386724.
- SPARK_(programming_language) type Q7397.
- SPARK_(programming_language) type Q9143.
- SPARK_(programming_language) comment "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.".
- SPARK_(programming_language) label "SPARK (informatyka)".
- SPARK_(programming_language) label "SPARK (programming language)".
- SPARK_(programming_language) label "SPARK".
- SPARK_(programming_language) sameAs SPARK.
- SPARK_(programming_language) sameAs SPARK_(informatyka).
- SPARK_(programming_language) sameAs m.01qplz.
- SPARK_(programming_language) sameAs Q3493345.
- SPARK_(programming_language) sameAs Q3493345.
- SPARK_(programming_language) sameAs SPARK_(programming_language).
- SPARK_(programming_language) wasDerivedFrom SPARK_(programming_language)?oldid=645533657.
- SPARK_(programming_language) homepage sparkpro.
- SPARK_(programming_language) isPrimaryTopicOf SPARK_(programming_language).
- SPARK_(programming_language) name "SPARK".
- SPARK_(programming_language) page sparkpro.