Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/SPARK_(programming_language)> ?p ?o }
- 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) wikiPageUsesTemplate Template:About.
- SPARK_(programming_language) wikiPageUsesTemplate Template:Cite_book.
- SPARK_(programming_language) wikiPageUsesTemplate Template:Cite_journal.
- SPARK_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- SPARK_(programming_language) wikiPageUsesTemplate Template:More_footnotes.
- SPARK_(programming_language) wikiPageUsesTemplate Template:Multiple_issues.
- SPARK_(programming_language) wikiPageUsesTemplate Template:Portal.
- SPARK_(programming_language) wikiPageUsesTemplate Template:Reflist.
- SPARK_(programming_language) wikiPageUsesTemplate Template:Release_date.
- SPARK_(programming_language) wikiPageUsesTemplate Template:Third-party.
- 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 Language.
- SPARK_(programming_language) type ProgrammingLanguage.
- SPARK_(programming_language) type Language.
- SPARK_(programming_language) type Method.
- SPARK_(programming_language) type Redirect.
- SPARK_(programming_language) type Tool.
- SPARK_(programming_language) type Language.
- SPARK_(programming_language) type Thing.
- SPARK_(programming_language) type Q315.
- SPARK_(programming_language) type Q34770.
- 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 (programming language)".
- SPARK_(programming_language) sameAs Q3493345.
- SPARK_(programming_language) sameAs SPARK.
- SPARK_(programming_language) sameAs SPARK_(ohjelmointikieli).
- SPARK_(programming_language) sameAs SPARK_(informatyka).
- SPARK_(programming_language) sameAs m.01qplz.
- SPARK_(programming_language) sameAs Q3493345.
- SPARK_(programming_language) sameAs SPARK.
- SPARK_(programming_language) wasDerivedFrom SPARK_(programming_language)?oldid=694740604.
- SPARK_(programming_language) homepage sparkpro.
- SPARK_(programming_language) isPrimaryTopicOf SPARK_(programming_language).
- SPARK_(programming_language) name "SPARK".
- SPARK_(programming_language) page sparkpro.