Shape analysis of sets

DOI10.4230/OASICS.TRUSTWORTHYSW.2006.698MaRDI QIDQ2917408zbMATH OpenOpenAlexFDO

Authors Jan Reineke

Publication date 28 September 2012

Full work available at URL http://drops.dagstuhl.de/opus/volltexte/2006/698/pdf/06000.ReinekeJan.Other.698.pdf

zbMATH Keywords

abstract data typealgebraic specificationimperative programsinvariantsset implementationsshape analysisverification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Shape analysis with reference set relations
• Shape Analysis for Composite Data Structures
• scientific article; zbMATH DE number 1953039
• Relational inductive shape analysis

Cited in

(9)

• Shape analysis with reference set relations
• A Shape Analysis for Non-linear Data Structures
• scientific article; zbMATH DE number 7525436 (Why is no real title available?)
• Logical characterizations of heap abstractions
• Shape Analysis for Composite Data Structures
• Using First-Order Theorem Provers in the Jahob Data Structure Verification System
• Shape Analysis of Single-Parent Heaps
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Shape analysis of sets

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