Separation logic style reasoning in a refinement based language

MaRDI QIDQ5851843zbMATH OpenFDO

Authors Gergely Dévai, Zoltán Csörnyei

Publication date 25 January 2010

zbMATH Keywords

dynamic memory managementpointers

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of software (68N99)

Recommendations

• Separation Logic Tutorial
• A proof system for separation logic with magic wand
• Relational Parametricity and Separation Logic
• Relational Parametricity and Separation Logic
• Separation Logic for Higher-Order Store

Cited in

(3)

• Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
• Tractable Reasoning in a Fragment of Separation Logic
• scientific article; zbMATH DE number 7233822 (Why is no real title available?)

This page was built for publication: Separation logic style reasoning in a refinement based language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5851843)