{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:56:04Z","timestamp":1750308964864,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,7,11]],"date-time":"2005-07-11T00:00:00Z","timestamp":1121040000000},"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":[[2005,7,11]]},"DOI":"10.1145\/1069774.1069786","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"129-138","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Inverting abstract unification for set-sharing"],"prefix":"10.1145","author":[{"given":"Xuan","family":"Li","sequence":"first","affiliation":[{"name":"Oakland University, Rochester, MI"}]},{"given":"Lunjin","family":"Lu","sequence":"additional","affiliation":[{"name":"Oakland University, Rochester, MI"}]}],"member":"320","published-online":{"date-parts":[[2005,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"69","volume-title":"APPIA-GULP-PRODE'97: Proceedings of the 1997 Joint Conference on Declarative Programming","author":"Bagnara R.","year":"1997","unstructured":"R. Bagnara , P. M. Hill , and E. Zaffanella . Sharing revisited. In M. Falaschi, M. Navarro, and A. Policriti, editors , APPIA-GULP-PRODE'97: Proceedings of the 1997 Joint Conference on Declarative Programming , pages 69 -- 80 , Grado, Italy , June 1997 . R. Bagnara, P. M. Hill, and E. Zaffanella. Sharing revisited. In M. Falaschi, M. Navarro, and A. Policriti, editors, APPIA-GULP-PRODE'97: Proceedings of the 1997 Joint Conference on Declarative Programming, pages 69--80, Grado, Italy, June 1997."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068404001978"},{"key":"e_1_3_2_1_3_1","first-page":"155","volume-title":"AADEBUG: Proceeding of the 3rd Automated and Algorithmic Debugging","author":"Bueno Francisco","year":"1997","unstructured":"Francisco Bueno , Pierre Deransart , Wlodzimierz Drabent , G\u00e9rard Ferrand , Manuel V. Hermenegildo , Jan Maluszynski , and German Puebla . On the role of semantic approximations on validation and diagnosis of contraint logic programs. In Mariam Kamkar, editor , AADEBUG: Proceeding of the 3rd Automated and Algorithmic Debugging , pages 155 -- 169 , 1997 . Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, G\u00e9rard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, and German Puebla. On the role of semantic approximations on validation and diagnosis of contraint logic programs. In Mariam Kamkar, editor, AADEBUG: Proceeding of the 3rd Automated and Algorithmic Debugging, pages 155--169, 1997."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/330249.330252"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10026-2"},{"key":"e_1_3_2_1_6_1","first-page":"75","volume-title":"Tools and Notions for Program Construction: an Advanced Course","author":"Cousot P.","year":"1982","unstructured":"P. Cousot and R. Cousot . Induction principles for proving invariance properties of programs . In D. N\u00e9el, editor, Tools and Notions for Program Construction: an Advanced Course , pages 75 -- 119 . Cambridge University Press , Cambridge, UK , 1982 . P. Cousot and R. Cousot. Induction principles for proving invariance properties of programs. In D. N\u00e9el, editor, Tools and Notions for Program Construction: an Advanced Course, pages 75--119. Cambridge University Press, Cambridge, UK, 1982."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068404002236"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25951-0_6"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)00008-5"},{"key":"e_1_3_2_1_12_1","first-page":"154","volume-title":"NACLP: Proceedings of the North American Conference on Logic Programming","author":"Jacobs Dean","year":"1989","unstructured":"Dean Jacobs and Anno Langen . Accurate and efficient approximation of variable aliasing in logic programs. In Ross A. Overbeek Ewing L. Lusk, editor , NACLP: Proceedings of the North American Conference on Logic Programming , pages 154 -- 165 . MIT Press , 1989 . Dean Jacobs and Anno Langen. Accurate and efficient approximation of variable aliasing in logic programs. In Ross A. Overbeek Ewing L. Lusk, editor, NACLP: Proceedings of the North American Conference on Logic Programming, pages 154--165. MIT Press, 1989."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90034-Z"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90065-8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00023-5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(00)00009-1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001436"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24599-5_22"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/571157.571168"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/647171.718312"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24754-8_11"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_9"},{"key":"e_1_3_2_1_23_1","first-page":"49","volume-title":"Proceedings of the 8th International Conference on Logic Programming","author":"Muthukumar Kalyan","year":"1991","unstructured":"Kalyan Muthukumar and Manuel V. Hermenegildo . Combined determination of sharing and freeness of program variables through abstract interpretation. In Koichi Furukawa, editor , Proceedings of the 8th International Conference on Logic Programming , pages 49 -- 63 , 1991 . Kalyan Muthukumar and Manuel V. Hermenegildo. Combined determination of sharing and freeness of program variables through abstract interpretation. In Koichi Furukawa, editor, Proceedings of the 8th International Conference on Logic Programming, pages 49--63, 1991."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/645386.651526"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1137\/0206036"}],"event":{"name":"PPDP05: Principles and Practice of Declarative Programming 2005","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Lisbon Portugal","acronym":"PPDP05"},"container-title":["Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1069774.1069786","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1069774.1069786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:38:23Z","timestamp":1750282703000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1069774.1069786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,11]]},"references-count":25,"alternative-id":["10.1145\/1069774.1069786","10.1145\/1069774"],"URL":"https:\/\/doi.org\/10.1145\/1069774.1069786","relation":{},"subject":[],"published":{"date-parts":[[2005,7,11]]},"assertion":[{"value":"2005-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}