SPARK (programming language)

Property	Value
rdf:type	Concurrent programming language Systems programming language Programming language created in the 20th century owl:NamedIndividual Procedural programming language Statically typed programming language Formal specification language Tool for static code analysis
rdfs:label	SPARK (programming language)
owl:sameAs	dbr:SPARK_(programming_language)
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_specification_languages http://en.wikipedia.org/wiki/Evergreen_(software) http://en.wikipedia.org/wiki/Comparison_of_parser_generators http://en.wikipedia.org/wiki/Timeline_of_programming_languages http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis http://en.wikipedia.org/wiki/Alt-Ergo http://en.wikipedia.org/wiki/Automated_theorem_proving http://en.wikipedia.org/wiki/C_to_HDL http://en.wikipedia.org/wiki/Category:Concurrent_programming_languages http://en.wikipedia.org/wiki/Category:Systems_programming_languages http://en.wikipedia.org/wiki/Design_by_contract http://en.wikipedia.org/wiki/Category:Procedural_programming_languages http://en.wikipedia.org/wiki/Category:Statically_typed_programming_languages http://en.wikipedia.org/wiki/Formal_methods http://en.wikipedia.org/wiki/Generational_list_of_programming_languages http://en.wikipedia.org/wiki/List_of_programming_languages http://en.wikipedia.org/wiki/Category:Programming_languages_created_in_the_20th_century http://en.wikipedia.org/wiki/Belief%E2%80%93desire%E2%80%93intention_software_model http://en.wikipedia.org/wiki/Satisfiability_modulo_theories
skos:prefLabel	SPARK (programming language)
skos:altLabel	Spark SPARK SPARK Ada SPARK/Ada SPARKada
clgo:developer	Capgemini Engineering GNAT
clgo:influencedBy	Eiffel (programming language) Ada (programming language)
clgo:latestReleaseDate	2021-06-01
clgo:latestReleaseVersion	Community 2021
clgo:license	GNU General Public License

About: clgr:SPARK_(programming_language)