{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:00:24Z","timestamp":1725724824354},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1997,8]]},"DOI":"10.1145\/258948.258965","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T17:08:40Z","timestamp":1075828120000},"page":"176-187","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["A bounds inference method for vector-based memoization"],"prefix":"10.1145","author":[{"given":"Wei-Ngan","family":"Chin","sequence":"first","affiliation":[{"name":"National University of Singapore"}]},{"given":"Masami","family":"Hagiya","sequence":"additional","affiliation":[{"name":"University of Tokyo"}]}],"member":"320","published-online":{"date-parts":[[1997,8]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1145\/356827.356831"},{"key":"e_1_3_2_1_2_2","first-page":"15","volume-title":"Proc of ICJAI","author":"Bledsoe W.W.","year":"1975","unstructured":"W.W. Bledsoe . A new method for proving certain Presburger formulae . In Proc of ICJAI , pages 15 - 21 , 1975 . W.W. Bledsoe. A new method for proving certain Presburger formulae. In Proc of ICJAI, pages 15-21, 1975."},{"key":"e_1_3_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"e_1_3_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/154630.154643"},{"key":"e_1_3_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806315"},{"key":"e_1_3_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050007"},{"key":"e_1_3_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/2166.2167"},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93581"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/237721.240882"},{"key":"e_1_3_2_1_10_2","volume-title":"Partial Evaluation and Automatic Program Generation","author":"Jones N.D.","year":"1993","unstructured":"N.D. Jones , C.K. Gomard , and P. Sestoft . Partial Evaluation and Automatic Program Generation . Prentice Hall , 1993 . N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993."},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207160"},{"key":"e_1_3_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1038\/218019a0"},{"key":"e_1_3_2_1_13_2","volume-title":"DoC","author":"Perry N.","year":"1989","unstructured":"N. Perry . Hope+. Tech Note: IC\/FPR\/LANG\/2.5.1\/7 , DoC , Imperial College , 1989 . N. Perry. Hope+. Tech Note: IC\/FPR\/LANG\/2.5.1\/7, DoC, Imperial College, 1989."},{"key":"e_1_3_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802044"},{"key":"e_1_3_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/135226.135233"},{"key":"e_1_3_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/115865.115867"}],"event":{"name":"ICFP97: International Conference on Functional Programming 1997","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","IFIP WG 2.8 IFIP WG 2.8"],"location":"Amsterdam The Netherlands","acronym":"ICFP97"},"container-title":["Proceedings of the second ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/258948.258965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T17:11:28Z","timestamp":1693847488000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/258948.258965"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,8]]},"references-count":16,"alternative-id":["10.1145\/258948.258965","10.1145\/258948"],"URL":"https:\/\/doi.org\/10.1145\/258948.258965","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/258949.258965","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1997,8]]},"assertion":[{"value":"1997-08-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}