Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Separation_logic> }
Showing triples 1 to 11 of
11
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.
- Peter_OHearn knownFor Separation_logic.
- Separation_logic primaryTopic Separation_logic.