| http://dbpedia.org/ontology/abstract
|
Matching logic is a formal logic mainly us … Matching logic is a formal logic mainly used to reason about the correctness of computer programs. Its operators use pattern matching to operate on the power set of states, rather than the set of states. It was created by Grigore Roșu and is used in the K Framework.igore Roșu and is used in the K Framework.
|
| http://dbpedia.org/ontology/wikiPageID
|
70598218
|
| http://dbpedia.org/ontology/wikiPageLength
|
3473
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1122436909
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Formal_logic +
, http://dbpedia.org/resource/Grigore_Ro%C8%99u +
, http://dbpedia.org/resource/Hoare_logic +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Satisfiability_modulo_theories +
, http://dbpedia.org/resource/Sort_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Power_set +
, http://dbpedia.org/resource/Regular_expression +
, http://dbpedia.org/resource/Separation_logic +
, http://dbpedia.org/resource/Operational_semantics +
, http://dbpedia.org/resource/Complement_%28set_theory%29 +
, http://dbpedia.org/resource/Category:Logic +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Logic +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Matching_logic?oldid=1122436909&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Matching_logic +
|
| owl:sameAs |
https://global.dbpedia.org/id/Gdb7M +
, http://www.wikidata.org/entity/Q111938168 +
, http://dbpedia.org/resource/Matching_logic +
|
| rdfs:comment |
Matching logic is a formal logic mainly us … Matching logic is a formal logic mainly used to reason about the correctness of computer programs. Its operators use pattern matching to operate on the power set of states, rather than the set of states. It was created by Grigore Roșu and is used in the K Framework.igore Roșu and is used in the K Framework.
|
| rdfs:label |
Matching logic
|
