{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:32Z","timestamp":1772163992297,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"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.1250764","type":"proceedings-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T12:07:37Z","timestamp":1189771657000},"page":"256-265","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":52,"title":["Shape analysis with inductive recursion synthesis"],"prefix":"10.1145","author":[{"given":"Bolei","family":"Guo","sequence":"first","affiliation":[{"name":"Princeton University, Princeton, NJ"}]},{"given":"Neil","family":"Vachharajani","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ"}]},{"given":"David I.","family":"August","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ"}]}],"member":"320","published-online":{"date-parts":[[2007,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93585"},{"key":"e_1_3_2_1_2_1","first-page":"102","volume-title":"Flow analysis and optimization of Lisp-like structures,\" in Program Flow Analysis: Theory and Applications","author":"Jones N. D.","year":"1981","unstructured":"N. D. Jones and S. S. Muchnick , \" Flow analysis and optimization of Lisp-like structures,\" in Program Flow Analysis: Theory and Applications (S. S. Muchnick and N. D. Jones, eds.), pp. 102 -- 131 , Englewood Cliffs, NJ : Prentice-Hall , 1981 . N. D. Jones and S. S. Muchnick, \"Flow analysis and optimization of Lisp-like structures,\" in Program Flow Analysis: Theory and Applications (S. S. Muchnick and N. D. Jones, eds.), pp. 102--131, Englewood Cliffs, NJ: Prentice-Hall, 1981."},{"key":"e_1_3_2_1_3_1","volume-title":"July","author":"Reynolds J.","year":"2002","unstructured":"J. Reynolds , \"Separation logic : A logic for shared mutable data structures,\" in Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science , July 2002 . J. Reynolds, \"Separation logic: A logic for shared mutable data structures,\" in Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, July 2002."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_19"},{"key":"e_1_3_2_1_5_1","volume-title":"Program Analysis","author":"Magill S.","year":"2006","unstructured":"S. Magill , A. Nanevski , E. Clarke , and P. Lee , \" Inferring invariants in separation logic for imperative list-processing programs,\" in Workshop on Semantics , Program Analysis , and Computing Environments for Memory Management (SPACE) , January 2006 . S. Magill, A. Nanevski, E. Clarke, and P. Lee, \"Inferring invariants in separation logic for imperative list-processing programs,\" in Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management (SPACE), January 2006."},{"key":"e_1_3_2_1_6_1","volume-title":"Automatic verification of pointer programs using grammar-based shape analysis,\" in Prceedings of the 2005 European Symposium on Programming (ESOP)","author":"Lee O.","year":"2005","unstructured":"O. Lee , H. Yang , and K. Yi , \" Automatic verification of pointer programs using grammar-based shape analysis,\" in Prceedings of the 2005 European Symposium on Programming (ESOP) , 2005 . O. Lee, H. Yang, and K. Yi, \"Automatic verification of pointer programs using grammar-based shape analysis,\" in Prceedings of the 2005 European Symposium on Programming (ESOP), 2005."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.322002"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","DOI":"10.1007\/b12055","volume-title":"Inductive synthesis of functional programs","author":"Schmid U.","year":"2003","unstructured":"U. Schmid , Inductive synthesis of functional programs . Berlin, Germany : Springer-Verlag , 2003 . U. Schmid, Inductive synthesis of functional programs. Berlin, Germany: Springer-Verlag, 2003."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378851"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_16"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040330"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.27"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964024"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30538-5_9"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_6"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/647473.727458"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_13"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_50"}],"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.1250764","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1250734.1250764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:19Z","timestamp":1750243939000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1250734.1250764"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,10]]},"references-count":19,"alternative-id":["10.1145\/1250734.1250764","10.1145\/1250734"],"URL":"https:\/\/doi.org\/10.1145\/1250734.1250764","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1273442.1250764","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"}}]}}