Context logic and tree update
From MaRDI portal
Publication:5276152
DOI10.1145/1040305.1040328zbMath1369.68132OpenAlexW1981382949MaRDI QIDQ5276152
Uri Zarfaty, Cristiano Calcagno, Philippa Gardner
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
Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (14)
On Composing Finite Forests with Modal Logics ⋮ Abstract local reasoning for concurrent libraries: mind the gap ⋮ DOM: Specification and Client Reasoning ⋮ Adjunct Elimination in Context Logic for Trees ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Footprints in Local Reasoning ⋮ Hybrid logical analyses of the ambient calculus ⋮ Adjunct elimination in context logic for trees ⋮ A spatial equational logic for the applied \(\pi \)-calculus ⋮ Initial Algebra Semantics for Cyclic Sharing Structures ⋮ On Model Checking Boolean BI ⋮ Modelling dynamic web data ⋮ Local Reasoning about Data Update ⋮ Manipulating Trees with Hidden Labels
This page was built for publication: Context logic and tree update
