Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/SPARK_(programming_language)> ?p ?o }
- 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. 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) latestReleaseDate "2015-02-17".
- SPARK_(programming_language) latestReleaseVersion "15.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) wikiPageLength "12739".
- SPARK_(programming_language) wikiPageOutDegree "60".
- SPARK_(programming_language) wikiPageRevisionID "694740604".
- SPARK_(programming_language) wikiPageWikiLink AdaCore.
- SPARK_(programming_language) wikiPageWikiLink Ada_(programming_language).
- SPARK_(programming_language) wikiPageWikiLink Addison-Wesley.
- SPARK_(programming_language) wikiPageWikiLink Alternative_terms_for_free_software.
- SPARK_(programming_language) wikiPageWikiLink Altran.
- SPARK_(programming_language) wikiPageWikiLink Altran_Praxis.
- SPARK_(programming_language) wikiPageWikiLink Category:Ada_(programming_language).
- SPARK_(programming_language) wikiPageWikiLink Category:Ada_programming_language_family.
- SPARK_(programming_language) wikiPageWikiLink Category:Algol_programming_language_family.
- SPARK_(programming_language) wikiPageWikiLink Category:Concurrent_programming_languages.
- SPARK_(programming_language) wikiPageWikiLink Category:Formal_specification_languages.
- SPARK_(programming_language) wikiPageWikiLink Category:Procedural_programming_languages.
- SPARK_(programming_language) wikiPageWikiLink Category:Programming_languages_created_in_the_20th_century.
- SPARK_(programming_language) wikiPageWikiLink Category:Statically_typed_programming_languages.
- SPARK_(programming_language) wikiPageWikiLink Compiler.
- SPARK_(programming_language) wikiPageWikiLink Computer.
- SPARK_(programming_language) wikiPageWikiLink Computer_cluster.
- SPARK_(programming_language) wikiPageWikiLink Cross-platform.
- SPARK_(programming_language) wikiPageWikiLink Eiffel_(programming_language).
- SPARK_(programming_language) wikiPageWikiLink Expressive_power_(computer_science).
- SPARK_(programming_language) wikiPageWikiLink Extended_static_checking.
- SPARK_(programming_language) wikiPageWikiLink File:Sparkada.jpg.
- SPARK_(programming_language) wikiPageWikiLink Formal_verification.
- SPARK_(programming_language) wikiPageWikiLink GNU_General_Public_License.
- SPARK_(programming_language) wikiPageWikiLink IEEE_Spectrum.
- SPARK_(programming_language) wikiPageWikiLink Java_(programming_language).
- SPARK_(programming_language) wikiPageWikiLink Java_Modeling_Language.
- SPARK_(programming_language) wikiPageWikiLink John_Barnes_(computer_scientist).
- SPARK_(programming_language) wikiPageWikiLink Linux.
- SPARK_(programming_language) wikiPageWikiLink List_of_tools_for_static_code_analysis.
- SPARK_(programming_language) wikiPageWikiLink Microsoft_Windows.
- SPARK_(programming_language) wikiPageWikiLink Ministry_of_Defence_(United_Kingdom).
- SPARK_(programming_language) wikiPageWikiLink Nominal_type_system.
- SPARK_(programming_language) wikiPageWikiLink OS_X.
- SPARK_(programming_language) wikiPageWikiLink Postcondition.
- SPARK_(programming_language) wikiPageWikiLink Precondition.
- SPARK_(programming_language) wikiPageWikiLink Programming_language.
- SPARK_(programming_language) wikiPageWikiLink Programming_paradigm.
- SPARK_(programming_language) wikiPageWikiLink Python_(programming_language).
- SPARK_(programming_language) wikiPageWikiLink SHA-3.
- SPARK_(programming_language) wikiPageWikiLink Scala_(programming_language).
- SPARK_(programming_language) wikiPageWikiLink Semantics_(computer_science).
- SPARK_(programming_language) wikiPageWikiLink Skein_(hash_function).
- SPARK_(programming_language) wikiPageWikiLink Software.
- SPARK_(programming_language) wikiPageWikiLink Soundness.
- SPARK_(programming_language) wikiPageWikiLink Static_program_analysis.
- SPARK_(programming_language) wikiPageWikiLink Strong_and_weak_typing.
- SPARK_(programming_language) wikiPageWikiLink Task_parallelism.
- SPARK_(programming_language) wikiPageWikiLink Type_safety.
- SPARK_(programming_language) wikiPageWikiLink Type_system.
- SPARK_(programming_language) wikiPageWikiLink University_of_Southampton.
- SPARK_(programming_language) wikiPageWikiLink Verification_Condition.
- SPARK_(programming_language) wikiPageWikiLink Vermont_Lunar_CubeSat.
- SPARK_(programming_language) wikiPageWikiLink Z_notation.
- SPARK_(programming_language) wikiPageWikiLinkText "SPARK (programming language)".
- SPARK_(programming_language) wikiPageWikiLinkText "SPARK Ada".
- SPARK_(programming_language) wikiPageWikiLinkText "SPARK".
- SPARK_(programming_language) wikiPageWikiLinkText "SPARK/Ada".
- SPARK_(programming_language) wikiPageWikiLinkText "SPARKada".
- SPARK_(programming_language) developer "Altran and AdaCore".
- 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) latestReleaseDate "2015-02-17".
- SPARK_(programming_language) latestReleaseVersion "15".
- 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.