• DOI:10.1145/2049697.2049700
Corpus ID: 52808268

Compositional Shape Analysis by Means of Bi-Abduction

@article{Calcagno2011CompositionalSA,
  title={Compositional Shape Analysis by Means of Bi-Abduction},
  author={C. Calcagno and Dino Distefano and P. O'Hearn and H. Yang},
  journal={J. ACM},
  year={2011},
  volume={58},
  pages={26:1-26:66}
}

C. Calcagno, Dino Distefano, +1 author H. Yang

Published 2011

Computer Science

J. ACM

The accurate and efficient treatment of mutable data structures is one of the outstanding problem areas in automatic program verification and analysis. Shape analysis is a form of program analysis that attempts to infer descriptions of the data structures in a program, and to prove that these structures are not misused or corrupted. It is one of the more challenging and expensive forms of program analysis, due to the complexity of aliasing and the need to look arbitrarily deeply into the… CONTINUE READING

View on ACM

ora.ox.ac.uk

Save to Library

Create Alert

Cite

Launch Research Feed