Variables as resource in separation logic

MaRDI QIDQ2852352zbMATH OpenFDO

Authors Richard Bornat, Cristiano Calcagno, Hongseok Yang

Publication date 8 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106001964

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Resource separation in dynamic logic of propositional assignments
• Resource separation in dynamic logic of propositional assignments
• scientific article; zbMATH DE number 759439
• Variable sharing in connexive logic
• scientific article; zbMATH DE number 1761902
• A modal separation logic for resource dynamics
• Separation logic with one quantified variable
• Separation logic with one quantified variable
• Logics of variable inclusion
• scientific article; zbMATH DE number 446838

Cited in

(13)

• A game semantics of concurrent separation logic
• Fairness, resources, and separation
• Automated theorem proving for assertions in separation logic with all connectives
• Abstract local reasoning for concurrent libraries: mind the gap
• Variable declarations in natural deduction
• Resources, concurrency, and local reasoning
• Resource separation in dynamic logic of propositional assignments
• Footprints in Local Reasoning
• Variable side conditions and greatest relations in algebraic separation logic
• Inter-process buffers in separation logic with rely-guarantee
• An algebraic glimpse at bunched implications and separation logic
• Automatic Parallelization and Optimization of Programs by Proof Rewriting
• Variables as resource for shared-memory programs: semantics and soundness

This page was built for publication: Variables as resource in separation logic

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