Shape Analysis for Composite Data Structures
Berdine J, Calcagno C, Cook B, Distefano D, O’Hearn P, Wies T, Yang H. 2007. Shape Analysis for Composite Data Structures. CAV: Computer Aided Verification, LNCS 4590, , 178–192.
Download
No fulltext has been uploaded. References only!
DOI
Conference Paper
| Published
Author
Berdine,Josh;
Calcagno,Cristiano;
Cook,Byron;
Distefano,Dino;
O'Hearn,Peter W.;
Wies, ThomasISTA;
Yang,Hongseok
Series Title
LNCS 4590
Publishing Year
Date Published
2007-01-01
Publisher
Springer
Page
178 - 192
Conference
CAV: Computer Aided Verification
IST-REx-ID
Cite this
Berdine J, Calcagno C, Cook B, et al. Shape Analysis for Composite Data Structures. In: Springer; 2007:178-192. doi:1553
Berdine, J., Calcagno, C., Cook, B., Distefano, D., O’Hearn, P., Wies, T., & Yang, H. (2007). Shape Analysis for Composite Data Structures (pp. 178–192). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1553
Berdine, Josh, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O’Hearn, Thomas Wies, and Hongseok Yang. “Shape Analysis for Composite Data Structures,” 178–92. Springer, 2007. https://doi.org/1553.
J. Berdine et al., “Shape Analysis for Composite Data Structures,” presented at the CAV: Computer Aided Verification, 2007, pp. 178–192.
Berdine J, Calcagno C, Cook B, Distefano D, O’Hearn P, Wies T, Yang H. 2007. Shape Analysis for Composite Data Structures. CAV: Computer Aided Verification, LNCS 4590, , 178–192.
Berdine, Josh, et al. Shape Analysis for Composite Data Structures. Springer, 2007, pp. 178–92, doi:1553.
Google Scholar