{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:33:40Z","timestamp":1725485620995},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650140"},{"type":"electronic","value":"9783540497271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49727-7_6","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T03:02:49Z","timestamp":1181185369000},"page":"99-114","source":"Crossref","is-referenced-by-count":6,"title":["The Correctness of Set-Sharing"],"prefix":"10.1007","author":[{"given":"Patricia M.","family":"Hill","sequence":"first","affiliation":[]},{"given":"Roberto","family":"Bagnara","sequence":"additional","affiliation":[]},{"given":"Enea","family":"Zaffanella","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,24]]},"reference":[{"key":"6_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BFb0032733","volume-title":"Static Analysis: Proceedings of the 4th International Symposium","author":"R. Bagnara","year":"1997","unstructured":"R. Bagnara, P. M. Hill, and E. Zaffanella. Set-sharing is redundant for pair-sharing. In P. Van Hentenryck, editor, Static Analysis: Proceedings of the 4th International Symposium, volume 1302 of Lecture Notes in Computer Science, pages 53\u201367, Paris, France, 1997. Springer-Verlag, Berlin."},{"key":"6_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-57264-3_37","volume-title":"Static Analysis, Proceedings of the Third International Workshop","author":"M. Bruynooghe","year":"1993","unstructured":"M. Bruynooghe and M. Codish. Freeness, sharing, linearity and correctness \u2014 All at once. In P. Cousot, M. Falaschi, G. Fil\u00e9, and A. Rauzy, editors, Static Analysis, Proceedings of the Third International Workshop, volume 724 of Lecture Notes in Computer Science, pages 153\u2013164, Padova, Italy, 1993. Springer-Verlag, Berlin. An extended version is available as Technical Report CW 179, Department of Computer Science, K.U. Leuven, September 1993."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"K. L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293\u2013322, Toulouse, France, 1978. Plenum Press.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"6_CR4","unstructured":"M. Codish, D. Dams, G. Fil\u00e9, and M. Bruynooghe. Freeness analysis for logic programs-and correctness? In D. S. Warren, editor, Logic Programming: Proceedings of the Tenth International Conference on Logic Programming, MIT Press Series in Logic Programming, pages 116\u2013131, Budapest, Hungary, 1993. The MIT Press. An extended version is available as Technical Report CW 161, Department of Computer Science, K.U. Leuven, December 1992."},{"key":"6_CR5","first-page":"231","volume-title":"Logic Programming, APIC Studies in Data Processing","author":"A. Colmerauer","year":"1982","unstructured":"A. Colmerauer. Prolog and Infinite Trees. In K. L. Clark and S. \u00c5. T\u00e4rnlund, editors, Logic Programming, APIC Studies in Data Processing, volume 16, pages 231\u2013251. Academic Press, New York, 1982."},{"key":"6_CR6","unstructured":"A. Colmerauer. Equations and inequations on fiite and infinite trees. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS\u201984), pages 85\u201399, Tokyo, Japan, 1984. ICOT."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"P. M. Hill, R. Bagnara, and E. Zaffanella. The correctness of set-sharing. Technical Report 98.03, School of Computer Studies, University of Leeds, 1998.","DOI":"10.1007\/3-540-49727-7_6"},{"key":"6_CR8","unstructured":"D. Jacobs and A. Langen. Accurate and efficient approximation of variable aliasing in logic programs. In E. L. Lusk and R. A. Overbeek, editors, Logic Programming: Proceedings of the North American Conference, MIT Press Series in Logic Programming, pages 154\u2013165, Cleveland, Ohio, USA, 1989. The MIT Press."},{"issue":"2amp;3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0743-1066(92)90034-Z","volume":"13","author":"D. Jacobs","year":"1992","unstructured":"D. Jacobs and A. Langen. Static analysis of logic programs for independent AND parallelism. Journal of Logic Programming, 13(2amp;3):291\u2013314, 1992.","journal-title":"Journal of Logic Programming"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"J. Jaffar, J-L. Lassez, and M. J. Maher. Prolog-II as an instance of the logic programming scheme. In M. Wirsing, editor, Formal Descriptions of Programming Concepts III, pages 275\u2013299. North Holland, 1987.","DOI":"10.1145\/41625.41635"},{"key":"6_CR11","series-title":"SICS Dissertation Series: SICS\/D 16SE","volume-title":"PhD thesis","author":"T. Keisu","year":"1994","unstructured":"T. Keisu. Tree Constraints. PhD thesis, The Royal Institute of Technology, Stockholm, Sweden, May 1994. Also available in the SICS Dissertation Series: SICS\/D 16SE."},{"key":"6_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/3-540-57880-3_24","volume-title":"Proceedings of the Fifth European Symposium on Programming","author":"A. King","year":"1994","unstructured":"A. King. A synergistic analysis for sharing and groundness which traces linearity. In D. Sannella, editor, Proceedings of the Fifth European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 363\u2013378, Edinburgh, UK, 1994. Springer-Verlag, Berlin."},{"key":"6_CR13","unstructured":"A. King and P. Soper. Depth-k sharing and freeness. In P. Van Hentenryck, editor, Logic Programming: Proceedings of the Eleventh International Conference on Logic Programming, MIT Press Series in Logic Programming, pages 553\u2013568, Santa Margherita Ligure, Italy, 1994. The MIT Press."},{"key":"6_CR14","unstructured":"A. Langen. Static Analysis for Independent And-Parallelism in Logic Programs. PhD thesis, Computer Science Department, University of Southern California, 1990. Printed as Report TR 91-05."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"M. J. Maher. Complete axiomatizations of the algebras of finite, rational and infinite trees. In Proceedings, Third Annual Symposium on Logic in Computer Science, pages 348\u2013357, Edinburgh, Scotland, 1988. IEEE Computer Society.","DOI":"10.1109\/LICS.1988.5132"},{"issue":"2&3","key":"6_CR16","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","volume":"13","author":"K. Muthukumar","year":"1992","unstructured":"K. Muthukumar and M. Hermenegildo. Compile-time derivation of variable dependency using abstract interpretation. Journal of Logic Programming, 13(2&3):315\u2013347, 1992.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"6_CR17","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1):23\u201341, 1965.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49727-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:46:24Z","timestamp":1556480784000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49727-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650140","9783540497271"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-49727-7_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}