Reduced Product Combination of Abstract Domains for Shapes

DOI10.1007/978-3-642-35873-9_23zbMath1426.68066OpenAlexW1220998442MaRDI QIDQ2926653

Bor-Yuh Evan Chang, Xavier Rival, Antoine Toubhans

Publication date: 3 November 2014

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

Full work available at URL: https://hal.inria.fr/hal-00760428/file/vmcai13.pdf

Mathematics Subject Classification ID

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

Related Items (4)

Lightweight shape analysis based on physical types ⋮ Galois Connections for Recursive Types ⋮ An array content static analysis based on non-contiguous partitions ⋮ Demand-driven interprocedural analysis for map-based abstract domains

This page was built for publication: Reduced Product Combination of Abstract Domains for Shapes