{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:53:36Z","timestamp":1750308816049,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T00:00:00Z","timestamp":1295827200000},"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":[[2011,1,24]]},"DOI":"10.1145\/1929501.1929526","type":"proceedings-article","created":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T14:58:22Z","timestamp":1295881102000},"page":"131-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Strictification of circular programs"],"prefix":"10.1145","author":[{"given":"Jo\u00e3o Paulo","family":"Fernandes","sequence":"first","affiliation":[{"name":"Universidade do Porto, Universidade do Minho, Porto, Braga, Portugal"}]},{"given":"Jo\u00e3o","family":"Saraiva","sequence":"additional","affiliation":[{"name":"Universidade do Minho, Braga, Portugal"}]},{"given":"Daniel","family":"Seidel","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Bonn, Bonn, Germany"}]},{"given":"Janis","family":"Voigtl\u00e4nder","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Bonn, Bonn, Germany"}]}],"member":"320","published-online":{"date-parts":[[2011,1,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264249"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"e_1_3_2_1_4_1","volume-title":"Generative and Component-Based Software Engineering","author":"de Moor O.","year":"1999","unstructured":"O. de Moor , S. L. Peyton Jones , and E. Van Wyk . Aspect-oriented compilers . In Generative and Component-Based Software Engineering 1999 , Revised Papers, LNCS 1799: 121--133. Springer , 2000. O. de Moor, S. L. Peyton Jones, and E. Van Wyk. Aspect-oriented compilers. In Generative and Component-Based Software Engineering 1999, Revised Papers, LNCS 1799: 121--133. Springer, 2000."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244381.1244399"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291216"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/36583.36593"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288644"},{"key":"e_1_3_2_1_10_1","volume-title":"Generating Software from Specifications","author":"Kastens U.","year":"2007","unstructured":"U. Kastens , A.M. Sloane , and W.M. Waite . Generating Software from Specifications . Jones & Bartlett Publishers , 2007 . U. Kastens, A.M. Sloane, and W.M. Waite. Generating Software from Specifications. Jones & Bartlett Publishers, 2007."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012944815270"},{"key":"e_1_3_2_1_12_1","first-page":"39","volume-title":"Computing Science in the Netherlands","author":"Kuiper M. F.","year":"1987","unstructured":"M. F. Kuiper and S.D. Swierstra . Using attribute grammars to derive effi-cient functional programs . In Computing Science in the Netherlands , Proceedings , pages 39 -- 52 . SION, 1987 . M. F. Kuiper and S.D. Swierstra. Using attribute grammars to derive effi-cient functional programs. In Computing Science in the Netherlands, Proceedings, pages 39--52. SION, 1987."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351253"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480958"},{"key":"e_1_3_2_1_15_1","first-page":"405","volume-title":"Partial Evaluation and Mixed Computation 1987, Proceedings","author":"Pettorossi A.","year":"1988","unstructured":"A. Pettorossi and M. Proietti . Importing and exporting information in program development . In Partial Evaluation and Mixed Computation 1987, Proceedings , pages 405 -- 425 . North-Holland , 1988 . A. Pettorossi and M. Proietti. Importing and exporting information in program development. In Partial Evaluation and Mixed Computation 1987, Proceedings, pages 405--425. North-Holland, 1988."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/234528.234529"},{"key":"e_1_3_2_1_17_1","first-page":"182","article-title":"Higher order generalization in program derivation. In Theory and Practice of Software Development, Proceedings","volume":"250","author":"Pettorossi A.","year":"1987","unstructured":"A. Pettorossi and A. Skowron . Higher order generalization in program derivation. In Theory and Practice of Software Development, Proceedings , LNCS 250 : 182 -- 196 . Springer, 1987 . A. Pettorossi and A. Skowron. Higher order generalization in program derivation. In Theory and Practice of Software Development, Proceedings, LNCS 250:182--196. Springer, 1987.","journal-title":"LNCS"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:LISP.0000029450.36668.cb"}],"event":{"name":"POPL '11: The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Austin Texas USA","acronym":"POPL '11"},"container-title":["Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1929501.1929526","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1929501.1929526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:26:31Z","timestamp":1750278391000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1929501.1929526"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,24]]},"references-count":16,"alternative-id":["10.1145\/1929501.1929526","10.1145\/1929501"],"URL":"https:\/\/doi.org\/10.1145\/1929501.1929526","relation":{},"subject":[],"published":{"date-parts":[[2011,1,24]]},"assertion":[{"value":"2011-01-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}