Quantitative Separation Logic and Programs with Lists

DOI10.1007/978-3-540-71070-7_4MaRDI QIDQ3541685zbMATH OpenOpenAlexFDO

Authors Marius Bozga, Radu Iosif, Swann Perarnau

Publication date 27 November 2008

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.5311

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Quantitative separation logic and programs with lists
• Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Beyond Shapes: Lists with Ordered Data
• Separation logic with one quantified variable

Cited in

(9)

• The effects of adding reachability predicates in propositional separation logic
• Separation logic with one quantified variable
• On the Almighty Wand
• Beyond Shapes: Lists with Ordered Data
• On Model Checking Boolean BI
• On the almighty wand
• Separation logic with one quantified variable
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Quantitative separation logic and programs with lists

This page was built for publication: Quantitative Separation Logic and Programs with Lists

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