Shape Analysis for Composite Data Structures

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, and Hongseok Yang

Details

Publication typeInproceedings
Published inComputer Aided Verification (CAV 2007)
Pages178–192
Volume4590
SeriesLNCS
PublisherSpringer
> Publications > Shape Analysis for Composite Data Structures