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