Quantitative shape analysis

DOI10.1007/978-3-540-27864-1_18MaRDI QIDQ5466563zbMATH OpenOpenAlexFDO

Authors Radu Rugina

Publication date 24 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99688

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data structures (68P05)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Interprocedural shape analysis for recursive programs
• Shape analysis of sets
• A Shape Analysis for Non-linear Data Structures
• Thread Quantification for Concurrent Shape Analysis

Cited in

(8)

• Intuitive, localized analysis of shape variability
• Bottom-Up Shape Analysis
• scientific article; zbMATH DE number 56337 (Why is no real title available?)
• Automated verification of shape, size and bag properties via user-defined predicates in separation logic
• Shape Analysis of Single-Parent Heaps
• Automata-based verification of programs with tree updates
• The octagon abstract domain
• Deciding Boolean algebra with Presburger arithmetic

This page was built for publication: Quantitative shape analysis

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