Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Separation_logic> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items 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 facilitates reasoning about: programs that manipulate pointer data structures — including information hiding in the presence of pointers; "transfer of ownership" (avoidance of semantic frame axioms); and virtual separation (modular reasoning) between concurrent modules.Separation logic supports the developing field of research described by Peter O'Hearn and others as local reasoning, whereby specifications and proofs of a program component mention only the portion of memory used by the component, and not the entire global state of the system. Applications include automated program verification (where an algorithm checks the validity of another algorithm) and automated parallelization of software.".
- Separation_logic wikiPageID "4273222".
- Separation_logic wikiPageRevisionID "598003537".
- Separation_logic hasPhotoCollection Separation_logic.
- Separation_logic subject Category:Logic_in_computer_science.
- Separation_logic subject Category:Program_logic.
- Separation_logic subject Category:Substructural_logic.
- 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.".
- Separation_logic label "Logique de séparation".
- Separation_logic label "Separation logic".
- Separation_logic sameAs Logique_de_séparation.
- Separation_logic sameAs m.0bth77.
- Separation_logic sameAs Q3257964.
- Separation_logic sameAs Q3257964.
- Separation_logic wasDerivedFrom Separation_logic?oldid=598003537.
- Separation_logic isPrimaryTopicOf Separation_logic.