Local reasoning about data update
From MaRDI portal
Publication:2864149
DOI10.1016/J.ENTCS.2007.02.006zbMATH Open1277.68064OpenAlexW2074457838MaRDI QIDQ2864149FDOQ2864149
Authors: Cristiano Calcagno, Philippa Gardner, Uri Zarfaty 
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.006
Recommendations
- Local reasoning about tree update
- Reasoning about update logic
- Data Structures with Local Update Operations
- List Update with Locality of Reference
- On list update with locality of reference
- On List Update with Locality of Reference
- scientific article; zbMATH DE number 2087445
- List update with probabilistic locality of reference
Cites Work
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- The semantics and proof theory of the logic of bunched implications
- The Logic of Bunched Implications
- BI as an assertion language for mutable data structures
- An axiomatic basis for computer programming
- Context logic and tree update
- Title not available (Why is that?)
- Elimination of spatial connectives in static spatial logics
- Context logic as modal logic, completeness and parametric inexpressivity
- Anytime, anywhere: modal logics for mobile ambients
- Automatic Termination Proofs for Programs with Shape-Shifting Heaps
- Variance analyses from invariance analyses
- Title not available (Why is that?)
- Automata, Languages and Programming
- Local reasoning about tree update
Cited In (6)
Uses Software
This page was built for publication: Local reasoning about data update
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864149)
