Variables as resource in separation logic
From MaRDI portal
Publication:2852352
zbMATH Open1273.03101MaRDI QIDQ2852352FDOQ2852352
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
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
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)
Cited In (13)
- 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
- Resource separation in dynamic logic of propositional assignments
- Resources, concurrency, and local reasoning
- 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
- A game semantics of concurrent separation logic
- Fairness, resources, and separation
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)
