{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:08:28Z","timestamp":1774987708366,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,6,10]],"date-time":"2007-06-10T00:00:00Z","timestamp":1181433600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,6,10]]},"DOI":"10.1145\/1250734.1250788","type":"proceedings-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T12:07:37Z","timestamp":1189771657000},"page":"468-479","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":52,"title":["A general framework for certifying garbage collectors and their mutators"],"prefix":"10.1145","author":[{"given":"Andrew","family":"McCreight","sequence":"first","affiliation":[{"name":"Yale University, New Haven, CT"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhong","family":"Shao","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, CT"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunxiao","family":"Lin","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Long","family":"Li","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/871816.871860"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/359460.359470"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/579.587"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964020"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180902"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802042"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00868-X"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040309"},{"key":"e_1_3_2_1_10_1","volume-title":"Oct.","author":"Team Coq Development","year":"2005","unstructured":"Coq Development Team . The Coq proof assistant reference manual. Coq release v8.0 , Oct. 2005 . Coq Development Team. The Coq proof assistant reference manual. Coq release v8.0, Oct. 2005."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/359642.359655"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190325"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134028"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/647765.735844"},{"key":"e_1_3_2_1_15_1","volume-title":"The Java Language Specification","author":"Gosling J.","year":"2000","unstructured":"J. Gosling , B. Joy , G. Steele , and G. Bracha . The Java Language Specification Second Edition. Addison-Wesley , Boston, Mass ., 2000 . J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification Second Edition. Addison-Wesley, Boston, Mass., 2000."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/359897.359903"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359660"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/361002.361005"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/645611.662365"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190323"},{"key":"e_1_3_2_1_21_1","volume-title":"The C# Programming Language","author":"Hejlsberg A.","year":"2004","unstructured":"A. Hejlsberg , S. Wiltamuth , and P. Golde . The C# Programming Language . Addison-Wesley , Boston, Mass ., 2004 . A. Hejlsberg, S. Wiltamuth, and P. Golde. The C# Programming Language. Addison-Wesley, Boston, Mass., 2004."},{"key":"e_1_3_2_1_23_1","volume-title":"Tenth Int'l Workshop on Foundations of Object-Oriented Lang. (FOOL10)","author":"Hunter R.","year":"2003","unstructured":"R. Hunter and S. Krishnamurthi . A model of garbage collection for oo languages . In Tenth Int'l Workshop on Foundations of Object-Oriented Lang. (FOOL10) , 2003 . R. Hunter and S. Krishnamurthi. A model of garbage collection for oo languages. In Tenth Int'l Workshop on Foundations of Object-Oriented Lang. (FOOL10), 2003."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/646525.694869"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/69575.69577"},{"key":"e_1_3_2_1_26_1","volume-title":"Algorithms for Automatic Dynamic Memory Management","author":"Jones R.E.","year":"1996","unstructured":"R.E. Jones . Garbage Collection : Algorithms for Automatic Dynamic Memory Management . Wiley, Chichester , July 1996 . With a chapter on Distributed Garbage Collection by R. Lins. R.E. Jones. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. Wiley, Chichester, July 1996. With a chapter on Distributed Garbage Collection by R. Lins."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2007.28"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250788"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378817"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224182"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319345"},{"key":"e_1_3_2_1_34_1","unstructured":"Mozilla. Mozilla foundation security advisory 2006-01. http:\/\/www.mozilla.org\/security\/announce\/2006\/mfsa2006-01.html.  Mozilla. Mozilla foundation security advisory 2006-01. http:\/\/www.mozilla.org\/security\/announce\/2006\/mfsa2006-01.html."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/645729.668014"},{"key":"e_1_3_2_1_36_1","unstructured":"NIST. Vulnerability summary cve-2006-3451. http:\/\/nvd.nist.gov\/nvd.cfm?cvename=CVE-2006-3451.  NIST. Vulnerability summary cve-2006-3451. http:\/\/nvd.nist.gov\/nvd.cfm?cvename=CVE-2006-3451."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964024"},{"key":"e_1_3_2_1_38_1","unstructured":"W. Paul M. Broy and T. In der Rieden. The verisoft project. http:\/\/www.verisoft.de 2007.  W. Paul M. Broy and T. In der Rieden. The verisoft project. http:\/\/www.verisoft.de 2007."},{"key":"e_1_3_2_1_39_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. TLCA","author":"Paulin-Mohring C.","year":"1993","unstructured":"C. Paulin-Mohring . Inductive definitions in the system Coq-rules and properties . In Proc. TLCA , volume 664 of Lecture Notes in Computer Science , 1993 . C. Paulin-Mohring. Inductive definitions in the system Coq-rules and properties. In Proc. TLCA, volume 664 of Lecture Notes in Computer Science, 1993."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/645683.664578"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211305"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604189"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134022"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360218"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016875"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(90)90084-Y"}],"event":{"name":"PLDI '07: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"San Diego California USA","acronym":"PLDI '07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1250734.1250788","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1250734.1250788","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:20Z","timestamp":1750243940000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1250734.1250788"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,10]]},"references-count":42,"alternative-id":["10.1145\/1250734.1250788","10.1145\/1250734"],"URL":"https:\/\/doi.org\/10.1145\/1250734.1250788","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1273442.1250788","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,6,10]]},"assertion":[{"value":"2007-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}