Two for the Price of One: Lifting Separation Logic Assertions

DOI10.2168/LMCS-8(3:22)2012zbMath1258.03032arXiv1208.5895MaRDI QIDQ2914243

Jacob Thamsborg, Hongseok Yang, Lars Birkedal

Publication date: 25 September 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1208.5895

zbMATH Keywords

separation logicdata abstractionrelational interpretation

Mathematics Subject Classification ID

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

Uses Software

• SIMPLIFY
• ESC/Java
• VeriFast
• Boogie
• jStar
• Ynot

This page was built for publication: Two for the Price of One: Lifting Separation Logic Assertions