{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:44Z","timestamp":1750307204280,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,1,28]],"date-time":"2012-01-28T00:00:00Z","timestamp":1327708800000},"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":[[2012,1,28]]},"DOI":"10.1145\/2103736.2103739","type":"proceedings-article","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T14:49:33Z","timestamp":1328021373000},"page":"11-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Controlling loops in parallel mercury code"],"prefix":"10.1145","author":[{"given":"Paul","family":"Bone","sequence":"first","affiliation":[{"name":"The University of Melbourne and National ICT Australia (NICTA), Melbourne, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoltan","family":"Somogyi","sequence":"additional","affiliation":[{"name":"The University of Melbourne and National ICT Australia (NICTA), Melbourne, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Schachte","sequence":"additional","affiliation":[{"name":"The University of Melbourne, Melbourne, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,1,28]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"283","volume-title":"In Proc. of the 10th Int'l Conference on Logic Programming","author":"Bevemyr Johan","year":"1993","unstructured":"Johan Bevemyr , Thomas Lindgren , and H\u00e5kan Millroth . Reform Prolog : the language and its implementation . In In Proc. of the 10th Int'l Conference on Logic Programming , pages 283 -- 298 . MIT Press , 1993 . Johan Bevemyr, Thomas Lindgren, and H\u00e5kan Millroth. Reform Prolog: the language and its implementation. In In Proc. of the 10th Int'l Conference on Logic Programming, pages 283--298. MIT Press, 1993."},{"key":"e_1_3_2_1_2_1","volume-title":"Estimating the overlap between dependent computations for automatic parallelization. Theory and Practice of Logic Programming, 11(4--5):575--591","author":"Bone Paul","year":"2011","unstructured":"Paul Bone , Zoltan Somogyi , and Peter Schachte . Estimating the overlap between dependent computations for automatic parallelization. Theory and Practice of Logic Programming, 11(4--5):575--591 , 2011 . Paul Bone, Zoltan Somogyi, and Peter Schachte. Estimating the overlap between dependent computations for automatic parallelization. Theory and Practice of Logic Programming, 11(4--5):575--591, 2011."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(90)90035-N"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.405"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802017"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0038"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1631687.1596563"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 27th International Conference on Logic Programming","author":"Wang Peter","year":"2011","unstructured":"Peter Wang and Zoltan Somogyi . Minimizing the overheads of dependent AND-parallelism . In Proceedings of the 27th International Conference on Logic Programming , Lexington, Kentucky , 2011 . Peter Wang and Zoltan Somogyi. Minimizing the overheads of dependent AND-parallelism. In Proceedings of the 27th International Conference on Logic Programming, Lexington, Kentucky, 2011."}],"event":{"name":"POPL '12: The 39th 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":"Philadelphia Pennsylvania USA","acronym":"POPL '12"},"container-title":["Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103736.2103739","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2103736.2103739","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:22Z","timestamp":1750241182000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103736.2103739"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,28]]},"references-count":8,"alternative-id":["10.1145\/2103736.2103739","10.1145\/2103736"],"URL":"https:\/\/doi.org\/10.1145\/2103736.2103739","relation":{},"subject":[],"published":{"date-parts":[[2012,1,28]]},"assertion":[{"value":"2012-01-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}