Beyond Shapes: Lists with Ordered Data

DOI10.1007/978-3-642-00596-1_30MaRDI QIDQ3617745zbMATH OpenOpenAlexFDO

Authors Kshitij Bansal, Rémi Brochenin, Etienne Lozes

Publication date 31 March 2009

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00596-1_30

Mathematics Subject Classification ID

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

Recommendations

• Quantitative Separation Logic and Programs with Lists
• Quantitative separation logic and programs with lists
• The effects of adding reachability predicates in propositional separation logic
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• The tree width of separation logic with recursive definitions

Cites work

• Automated Verification of Shape and Size Properties Via Separation Logic
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 1617328 (Why is no real title available?)
• scientific article; zbMATH DE number 2081098 (Why is no real title available?)
• scientific article; zbMATH DE number 3057871 (Why is no real title available?)
• On the Almighty Wand
• On the freeze quantifier in Constraint LTL: Decidability and complexity
• Programs with Lists Are Counter Automata
• Refinement-Based Verification for Possibly-Cyclic Lists
• Static Analysis

Cited in

(6)

• Two-Variable Separation Logic and Its Inner Circle
• Quantitative Separation Logic and Programs with Lists
• On the almighty wand
• Separation logics and modalities: a survey
• Reasoning about sequences of memory states
• Quantitative separation logic and programs with lists

Describes a project that uses

Uses Software

• TVLA
• HIP
• Smallfoot

This page was built for publication: Beyond Shapes: Lists with Ordered Data

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