Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Separation_logic> ?p ?o }
Showing triples 1 to 53 of
53
with 100 triples per page.
- Separation_logic abstract "In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs.It was developed by John C. Reynolds, Peter O'Hearn, Samin Ishtiaq and Hongseok Yang, drawing upon early work by Rod Burstall. The assertion language of separation logic is a special case of the logic of bunched implications (BI).".
- Separation_logic wikiPageID "4273222".
- Separation_logic wikiPageLength "8826".
- Separation_logic wikiPageOutDegree "32".
- Separation_logic wikiPageRevisionID "681453913".
- Separation_logic wikiPageWikiLink Adjoint_functors.
- Separation_logic wikiPageWikiLink Algorithm.
- Separation_logic wikiPageWikiLink Axiom.
- Separation_logic wikiPageWikiLink Bunched_logic.
- Separation_logic wikiPageWikiLink C_(programming_language).
- Separation_logic wikiPageWikiLink Category:2002_introductions.
- Separation_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Separation_logic wikiPageWikiLink Category:Program_logic.
- Separation_logic wikiPageWikiLink Category:Substructural_logic.
- Separation_logic wikiPageWikiLink Computer_science.
- Separation_logic wikiPageWikiLink Coq.
- Separation_logic wikiPageWikiLink Formal_verification.
- Separation_logic wikiPageWikiLink Frame_problem.
- Separation_logic wikiPageWikiLink Function_(mathematics).
- Separation_logic wikiPageWikiLink Hoare_logic.
- Separation_logic wikiPageWikiLink Information_hiding.
- Separation_logic wikiPageWikiLink Java_(programming_language).
- Separation_logic wikiPageWikiLink John_C._Reynolds.
- Separation_logic wikiPageWikiLink Logical_conjunction.
- Separation_logic wikiPageWikiLink Logical_consequence.
- Separation_logic wikiPageWikiLink Memory_management.
- Separation_logic wikiPageWikiLink Modus_ponens.
- Separation_logic wikiPageWikiLink Objective-C.
- Separation_logic wikiPageWikiLink Parallel_computing.
- Separation_logic wikiPageWikiLink Partial_function.
- Separation_logic wikiPageWikiLink Peter_OHearn.
- Separation_logic wikiPageWikiLink Rod_Burstall.
- Separation_logic wikiPageWikiLink Stack-based_memory_allocation.
- Separation_logic wikiPageWikiLink Ynot.
- Separation_logic wikiPageWikiLinkText "Separation logic".
- Separation_logic wikiPageWikiLinkText "separation logic".
- Separation_logic wikiPageUsesTemplate Template:Reflist.
- Separation_logic subject Category:2002_introductions.
- Separation_logic subject Category:Logic_in_computer_science.
- Separation_logic subject Category:Program_logic.
- Separation_logic subject Category:Substructural_logic.
- Separation_logic hypernym Extension.
- Separation_logic type Software.
- Separation_logic type Method.
- Separation_logic comment "In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs.It was developed by John C. Reynolds, Peter O'Hearn, Samin Ishtiaq and Hongseok Yang, drawing upon early work by Rod Burstall. The assertion language of separation logic is a special case of the logic of bunched implications (BI).".
- Separation_logic label "Separation logic".
- Separation_logic sameAs Q3257964.
- Separation_logic sameAs Logique_de_séparation.
- Separation_logic sameAs m.0bth77.
- Separation_logic sameAs Логика_разделения.
- Separation_logic sameAs Q3257964.
- Separation_logic wasDerivedFrom Separation_logic?oldid=681453913.
- Separation_logic isPrimaryTopicOf Separation_logic.