Shape Analysis in the Absence of Pointers and Structure

DOI10.1007/978-3-642-11319-2_20MaRDI QIDQ3656888zbMATH OpenOpenAlexFDO

Authors Matthew Might

Publication date 14 January 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-11319-2_20

Mathematics Subject Classification ID

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

Recommendations

• Structure from appearance: topology with shapes, without points
• Verification, Model Checking, and Abstract Interpretation
• Shape analysis with reference set relations
• A Shape Analysis for Non-linear Data Structures
• Graph-based shape analysis beyond context-freeness
• Techniques of Shape Analysis on Sets of Points
• Shape analysis via oriented distance functions
• Shape analysis with geometric primitives
• scientific article; zbMATH DE number 778010

Cited in

(4)

• Programming in FISh
• Towards dynamic shaping
• A Binding Scope Analysis for Generic Programs on Arrays
• A Shape Analysis for Non-linear Data Structures

This page was built for publication: Shape Analysis in the Absence of Pointers and Structure

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