Context logic and tree update

DOI10.1145/1040305.1040328MaRDI QIDQ5276152zbMATH OpenOpenAlexFDO

Authors Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Publication date 14 July 2017

Published in Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10044/1/33277

zbMATH Keywords

Hoare logiccontextstree update

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Logic in computer science (03B70)

Recommendations

• Local reasoning about tree update
• Local reasoning about data update
• An Introduction to Context Logic
• Adjunct Elimination in Context Logic for Trees
• Adjunct elimination in context logic for trees

Cited in

(17)

• Initial Algebra Semantics for Cyclic Sharing Structures
• Adjunct elimination in context logic for trees
• Hybrid logical analyses of the ambient calculus
• Abstract local reasoning for concurrent libraries: mind the gap
• A spatial equational logic for the applied \(\pi \)-calculus
• Footprints in Local Reasoning
• On Model Checking Boolean BI
• Context logic as modal logic, completeness and parametric inexpressivity
• An Introduction to Context Logic
• Modelling dynamic web data
• Adjunct Elimination in Context Logic for Trees
• An algebraic glimpse at bunched implications and separation logic
• DOM: Specification and Client Reasoning
• On Composing Finite Forests with Modal Logics
• Local reasoning about tree update
• Local reasoning about data update
• Manipulating trees with hidden labels

This page was built for publication: Context logic and tree update

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5276152)