Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Bunched_logic> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- Bunched_logic abstract "Bunched logic is a variety of substructural logic proposed by Peter O'Hearn and David Pym. Bunched logic provides primitives for reasoning about resource composition, which aid in the compositional analysis of computer and other systems. It has category-theoretic and truth-functional semantics which can be understood in terms of an abstract concept of resource, and a proof theory in which the contexts Γ in an entailment judgements Γ |- A are tree-like structures (bunches) rather than lists or (multi)sets as in most proof calculi. Bunched logic has an associated type theory, and its first application was in providing a way to control the aliasing and other forms of interference in imperative programsThe logic has seen further applications in program verification, where it is the basis of the assertion language of separation logic, and in systems modelling, where it provides a way to decompose the resources used by components of a system.".
- Bunched_logic wikiPageID "922464".
- Bunched_logic wikiPageLength "19807".
- Bunched_logic wikiPageOutDegree "25".
- Bunched_logic wikiPageRevisionID "697905436".
- Bunched_logic wikiPageWikiLink Boolean_algebra.
- Bunched_logic wikiPageWikiLink Cartesian_closed_category.
- Bunched_logic wikiPageWikiLink Category:Logic_in_computer_science.
- Bunched_logic wikiPageWikiLink Category:Mathematical_logic.
- Bunched_logic wikiPageWikiLink Category:Substructural_logic.
- Bunched_logic wikiPageWikiLink Curry–Howard_correspondence.
- Bunched_logic wikiPageWikiLink David_Pym.
- Bunched_logic wikiPageWikiLink Deep_inference.
- Bunched_logic wikiPageWikiLink Heyting_algebra.
- Bunched_logic wikiPageWikiLink Hoare_logic.
- Bunched_logic wikiPageWikiLink Hypothesis.
- Bunched_logic wikiPageWikiLink John_C._Reynolds.
- Bunched_logic wikiPageWikiLink Linear_logic.
- Bunched_logic wikiPageWikiLink Peter_OHearn.
- Bunched_logic wikiPageWikiLink Proof_calculus.
- Bunched_logic wikiPageWikiLink Relevance_logic.
- Bunched_logic wikiPageWikiLink Residuated_lattice.
- Bunched_logic wikiPageWikiLink Robin_Milner.
- Bunched_logic wikiPageWikiLink Separation_logic.
- Bunched_logic wikiPageWikiLink Structural_rule.
- Bunched_logic wikiPageWikiLink Substructural_logic.
- Bunched_logic wikiPageWikiLink Tensor_product.
- Bunched_logic wikiPageWikiLinkText "Bunched implications".
- Bunched_logic wikiPageWikiLinkText "Bunched logic".
- Bunched_logic wikiPageUsesTemplate Template:Reflist.
- Bunched_logic subject Category:Logic_in_computer_science.
- Bunched_logic subject Category:Mathematical_logic.
- Bunched_logic subject Category:Substructural_logic.
- Bunched_logic hypernym Variety.
- Bunched_logic type Grape.
- Bunched_logic type Field.
- Bunched_logic comment "Bunched logic is a variety of substructural logic proposed by Peter O'Hearn and David Pym. Bunched logic provides primitives for reasoning about resource composition, which aid in the compositional analysis of computer and other systems.".
- Bunched_logic label "Bunched logic".
- Bunched_logic sameAs Q4997446.
- Bunched_logic sameAs m.03q68k.
- Bunched_logic sameAs Q4997446.
- Bunched_logic wasDerivedFrom Bunched_logic?oldid=697905436.
- Bunched_logic isPrimaryTopicOf Bunched_logic.