Shape Analysis for Composite Data Structures

J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, Springer, 2007, pp. 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, ThomasIST Austria; Yang,Hongseok
Series Title
LNCS 4590
Publishing Year
Date Published
2007-01-01
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.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar