Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Separation_logic> }
Showing triples 1 to 18 of
18
with 100 triples per page.
- John_C._Reynolds knownFor Separation_logic.
- Peter_OHearn knownFor Separation_logic.
- Bunched_logic wikiPageWikiLink Separation_logic.
- Frama-C wikiPageWikiLink Separation_logic.
- Hoare_logic wikiPageWikiLink Separation_logic.
- John_C._Reynolds wikiPageWikiLink Separation_logic.
- Peter_OHearn wikiPageWikiLink Separation_logic.
- Predicate_transformer_semantics wikiPageWikiLink Separation_logic.
- Richard_Bornat wikiPageWikiLink Separation_logic.
- Structural_rule wikiPageWikiLink Separation_logic.
- summary?doi=10.1.1.29.1331 isCitedBy Separation_logic.
- seplogic.pdf isCitedBy Separation_logic.
- 03a488930e29f7f53e1fdd314c8198499a08e5ce038c2d7baab34e365a485dbe isCitedBy Separation_logic.
- 0b6b49093e2db4a0ae4c23a33b5f952174a8e7fc90a7088796a3d3c26822f42a isCitedBy Separation_logic.
- 9b1b9fc359aaf01bbc068c4efbbac1990e3a85fb01fdc1a18b932e569e036f30 isCitedBy Separation_logic.
- e1a5778524a6ce6abebf7db31b13e2ffb1b8441c47d647f4a9a97ff2fc19ca22 isCitedBy Separation_logic.
- Peter_OHearn knownFor Separation_logic.
- Separation_logic primaryTopic Separation_logic.