Publication:2852352
From MaRDI portal
zbMath1273.03101MaRDI QIDQ2852352
Hongseok Yang, Cristiano Calcagno, Richard Bornat
Publication date: 8 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001964
68N15: Theory of programming languages
03B70: Logic in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Footprints in Local Reasoning, Abstract local reasoning for concurrent libraries: mind the gap, Inter-process buffers in separation logic with rely-guarantee, Resources, concurrency, and local reasoning, A game semantics of concurrent separation logic, Fairness, Resources, and Separation, Automatic Parallelization and Optimization of Programs by Proof Rewriting, Automated Theorem Proving for Assertions in Separation Logic with All Connectives