Local Reasoning for Global Invariants, Part I
From MaRDI portal
Publication:5395716
DOI10.1145/2485982zbMath1281.68154OpenAlexW2023234892MaRDI QIDQ5395716
Stan Rosenberg, Anindya Banerjee, David A. Naumann
Publication date: 17 February 2014
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2485982
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
A First-Order Logic with Frames, Towards patterns for heaps and imperative lambdas, Laws of Programming for References, Unifying separation logic and region logic to allow interoperability, Simpler proofs with decentralized invariants, Unnamed Item
Uses Software
