A Simple Model of Separation Logic for Higher-Order Store

DOI10.1007/978-3-540-70583-3_29zbMath1155.68361OpenAlexW1595420666MaRDI QIDQ3519513

Bernhard Reus, Hongseok Yang, Jan Schwinghammer, Lars Birkedal

Publication date: 19 August 2008

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70583-3_29

Mathematics Subject Classification ID

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

Related Items (2)

Specification patterns for reasoning about recursion through the store ⋮ Nested Hoare Triples and Frame Rules for Higher-Order Store

This page was built for publication: A Simple Model of Separation Logic for Higher-Order Store