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

contextsHoare logictree update

Mathematics Subject Classification ID

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

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

(18)

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

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)