{"publisher":"Springer","status":"public","title":"Shape Analysis for Composite Data Structures","publication_status":"published","_id":"4398","year":"2007","date_created":"2018-12-11T12:08:39Z","date_updated":"2021-01-12T07:56:40Z","author":[{"first_name":"Josh","last_name":"Berdine","full_name":"Berdine,Josh"},{"last_name":"Calcagno","first_name":"Cristiano","full_name":"Calcagno,Cristiano"},{"first_name":"Byron","last_name":"Cook","full_name":"Cook,Byron"},{"full_name":"Distefano,Dino","first_name":"Dino","last_name":"Distefano"},{"first_name":"Peter","last_name":"O'Hearn","full_name":"O'Hearn,Peter W."},{"full_name":"Thomas Wies","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","last_name":"Wies"},{"first_name":"Hongseok","last_name":"Yang","full_name":"Yang,Hongseok"}],"alternative_title":["LNCS 4590"],"type":"conference","extern":1,"publist_id":"1058","page":"178 - 192","quality_controlled":0,"citation":{"ama":"Berdine J, Calcagno C, Cook B, et al. Shape Analysis for Composite Data Structures. In: Springer; 2007:178-192. doi:1553","ieee":"J. Berdine et al., “Shape Analysis for Composite Data Structures,” presented at the CAV: Computer Aided Verification, 2007, pp. 178–192.","apa":"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","ista":"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.","short":"J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, Springer, 2007, pp. 178–192.","mla":"Berdine, Josh, et al. Shape Analysis for Composite Data Structures. Springer, 2007, pp. 178–92, doi:1553.","chicago":"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."},"date_published":"2007-01-01T00:00:00Z","doi":"1553","conference":{"name":"CAV: Computer Aided Verification"},"month":"01","day":"01"}