Separation Logic Adapted for Proofs by Rewriting

DOI10.1007/978-3-642-14052-5_34zbMath1291.68363OpenAlexW1588363303MaRDI QIDQ5747672

Magnus O. Myreen

Publication date: 14 September 2010

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14052-5_34

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Proof tactics for assertions in separation logic ⋮ A Machine-Checked Framework for Relational Separation Logic

Uses Software

• ACL2
• HOL

This page was built for publication: Separation Logic Adapted for Proofs by Rewriting