{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:43:01Z","timestamp":1725496981366},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418641"},{"type":"electronic","value":"9783540453154"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45315-6_9","type":"book-chapter","created":{"date-parts":[[2007,12,3]],"date-time":"2007-12-03T06:28:39Z","timestamp":1196663319000},"page":"137-151","source":"Crossref","is-referenced-by-count":4,"title":["On Garbage and Program Logic"],"prefix":"10.1007","author":[{"given":"Cristiano","family":"Calcagno","sequence":"first","affiliation":[]},{"given":"Peter W.","family":"O\u2019Hearn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"9_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-49099-X_2","volume-title":"ESOP\u2019 99: European Symposium on Programming","author":"M. Benedikt","year":"1999","unstructured":"M. Benedikt, T. Reps, and M. Sagiv. A decidable logic for describing linked data structures. In ESOP\u2019 99: European Symposium on Programming, pages 2\u201319. Lecture Notes in Computer Science, Vol. 1576, S.D. Swierstra (ed.), Springer-Verlag, New York, NY, 1999."},{"doi-asserted-by":"crossref","unstructured":"C. Calcagno, S. Ishtiaq, and P.W. O\u2019Hearn. Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic. In ACM-SIGPLAN 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000). ACM Press, September 2000.","key":"9_CR2","DOI":"10.1145\/351268.351291"},{"key":"9_CR3","volume-title":"Set Theory and the Continuum Hypothesis","author":"P. Cohen","year":"1966","unstructured":"P. Cohen. Set Theory and the Continuum Hypothesis. Benjamin, San Fancisco, 1966."},{"key":"9_CR4","first-page":"843","volume-title":"Handbook of Theoretical Computer Science","author":"P. Cousot","year":"1990","unstructured":"P. Cousot. Methods and logics for proving programs. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 843\u2013993. Elsevier, Amsterdam, and The MIT Press, Cambridge, Mass., 1990."},{"doi-asserted-by":"crossref","unstructured":"F. de Boer. A WP calculus for OO. In Proceedings of FOSSACS\u201999, 1999.","key":"9_CR5","DOI":"10.1007\/3-540-49019-1_10"},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1006\/inco.1995.1077","volume":"119","author":"F. Honsell","year":"1995","unstructured":"F. Honsell, I. A. Mason, S. Smith, and C. Talcott. A variable typed logic of effects. Information and Computation, 119(1):55\u201390, may 1995.","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"S. Ishtiaq and P.W. O\u2019Hearn. BI as an assertion language for mutable data structures. To appear in POPL\u201901, 2001.","key":"9_CR7","DOI":"10.1145\/360204.375719"},{"unstructured":"R. Jones and R. Lins. Garbage Collection. Wiley, 1996.","key":"9_CR8"},{"unstructured":"S. Mac Lane and I. Moerdijk. Sheaves in Geometry and Logic. Springer-Verlag, 1992.","key":"9_CR9"},{"doi-asserted-by":"crossref","unstructured":"D. C. Oppen and S. A. Cook. Proving assertions about programs that manipulate data structures. In Conference Record of Seventh Annual ACM Symposium on Theory of Computation, pages 107\u2013116, Albuquerque, New Mexico, 5-7 May 1975.","key":"9_CR10","DOI":"10.1145\/800116.803758"},{"unstructured":"J.C. Reynolds. Intuitionistic reasoning about shared mutable data structure. In Millenial Perspectives in Computer Science, Palgrave, 2000.","key":"9_CR11"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45315-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T13:10:03Z","timestamp":1557061803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45315-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418641","9783540453154"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45315-6_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}