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