• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: SPARK (programming language)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatProgrammingLanguagesCreatedInThe20thCentury, within Data Space : dbpedia.org associated with source document(s)

Type: Thinglanguageschema:LanguageLanguageProgramming languageyago:Abstraction100002137yago:Artifact100021939yago:ArtificialLanguage106894544yago:Communication100033020yago:Implement103563967yago:Instrumentality103575240yago:Language106282651yago:Object100002684yago:PhysicalEntity100001930yago:ProgrammingLanguage106898352programming languageyago:Tool104451818yago:Whole100003553yago:WikicatFormalMethodsToolsyago:WikicatFormalSpecificationLanguagesyago:WikicatProgrammingLanguagesyago:WikicatProgrammingLanguagesCreatedInThe20thCentury New Facet based on Instances of this Class

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.