http://dbpedia.org/ontology/abstract
|
The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm +
, http://www.informatik.uni-bremen.de/cofi/index.php/CASL +
, http://www.cofi.info/ +
|
http://dbpedia.org/ontology/wikiPageID
|
2156387
|
http://dbpedia.org/ontology/wikiPageLength
|
2041
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1024380339
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/Concurrency_%28computer_science%29 +
, http://dbpedia.org/resource/Specification_language +
, http://dbpedia.org/resource/Heterogeneous +
, http://dbpedia.org/resource/Partial_function +
, http://dbpedia.org/resource/Implementation +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Subsumption_architecture +
, http://dbpedia.org/resource/Algebraic_specification +
, http://dbpedia.org/resource/Mathematical_induction +
, http://dbpedia.org/resource/F-Coalgebra +
, http://dbpedia.org/resource/Category:Formal_specification_languages +
, http://dbpedia.org/resource/Common_Framework_Initiative +
, http://dbpedia.org/resource/Internet +
, http://dbpedia.org/resource/Higher-order_logic +
, http://dbpedia.org/resource/Institution_%28computer_science%29 +
, http://dbpedia.org/resource/Subtyping +
, http://dbpedia.org/resource/Software_architecture +
, http://dbpedia.org/resource/Communicating_sequential_processes +
, http://dbpedia.org/resource/Temporal_logic +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Distinguish +
, http://dbpedia.org/resource/Template:Compu-lang-stub +
, http://dbpedia.org/resource/Template:Authority_control +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Formal_specification_languages +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Specification +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Common_Algebraic_Specification_Language?oldid=1024380339&ns=0 +
|
http://xmlns.com/foaf/0.1/homepage
|
http://www.cofi.info/ +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Common_Algebraic_Specification_Language +
|
owl:differentFrom |
http://dbpedia.org/resource/Compact_Application_Solution_Language +
|
owl:sameAs |
http://yago-knowledge.org/resource/Common_Algebraic_Specification_Language +
, https://global.dbpedia.org/id/4hoq5 +
, http://dbpedia.org/resource/Common_Algebraic_Specification_Language +
, http://rdf.freebase.com/ns/m.06q_3p +
, http://www.wikidata.org/entity/Q5153278 +
|
rdf:type |
http://www.wikidata.org/entity/Q315 +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://www.wikidata.org/entity/Q9143 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://schema.org/Language +
, http://dbpedia.org/ontology/ProgrammingLanguage +
, http://dbpedia.org/class/yago/Language106282651 +
, http://dbpedia.org/class/yago/WikicatFormalSpecificationLanguages +
, http://dbpedia.org/ontology/Language +
|
rdfs:comment |
The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported.
|
rdfs:label |
Common Algebraic Specification Language
|