{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:51:09Z","timestamp":1743015069019,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417392"},{"type":"electronic","value":"9783540447160"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44716-4_20","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T18:16:34Z","timestamp":1187201794000},"page":"311-325","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Abstract Compilation for Sharing Analysis"],"prefix":"10.1007","author":[{"given":"Gianluca","family":"Amato","sequence":"first","affiliation":[]},{"given":"Fausto","family":"Spoto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"20_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BFb0032733","volume-title":"Set-Sharing is Redundant for Pair-Sharing","author":"R. Bagnara","year":"1997","unstructured":"R. Bagnara, P. M. Hill, and E. Zaanella. Set-Sharing is Redundant for Pair-Sharing. In P. Van Hentenryck, editor, Proc. of the 4th Int. Symp. on Static Analysis, volume 1302 of Lecture Notes in Computer Science, pages 53\u201367, Paris, France, 1997. Springer-Verlag, Berlin."},{"key":"20_CR2","series-title":"PhD thesis","volume-title":"Data-Flow Analysis for Constraint Logic-Based Languages","author":"R. Bagnara","year":"1997","unstructured":"Roberto Bagnara. Data-Flow Analysis for Constraint Logic-Based Languages. PhD thesis, Dipartimento di Informatica, Universit\u00e1 di Pisa, 1997."},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0743-1066(94)90026-4","volume":"19-20","author":"A. Bossi","year":"1994","unstructured":"A. Bossi, M. Gabbrielli, G. Levi, and M. Martelli. The s-semantics approach: Theory and applications. Journal of Logic Programming, 19-20:149\u2013197, 1994.","journal-title":"Journal of Logic Programming"},{"key":"20_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-61739-6_38","volume-title":"Freeness and Sharing Analysis of Logic Programs Based on a Pre-Interpretation","author":"M. Bruynooghe","year":"1996","unstructured":"M. Bruynooghe, B. Demoen, D. Boulanger, M. Denecker, and A. Mulkers. A Freeness and Sharing Analysis of Logic Programs Based on a Pre-Interpretation. In R. Cousot and D. A. Schmidt, editors, 3rd Int. Symp. on Static Analysis, volume 1145 of Lecture Notes in Computer Science, pages 128\u2013142, Aachen, Germany, 1996. Springer Verlag."},{"key":"20_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/3-540-58485-4_47","volume-title":"Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop","author":"M. Codish","year":"1994","unstructured":"M. Codish and B. Demoen. Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. In Proc. of the first International Symposium on Static Analysis, volume 864 of Lecture Notes in Computer Science, pages 281\u2013296. Springer-Verlag, 1994."},{"issue":"2","key":"20_CR6","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/S0743-1066(99)00007-2","volume":"42","author":"M. Codish","year":"2000","unstructured":"M. Codish, V. Lagoon, and F. Bueno. An Algebraic Approach to Sharing Analysis of Logic Programs. Journal of Logic Programming, 42(2):110\u2013149, February 2000.","journal-title":"Journal of Logic Programming"},{"issue":"5","key":"20_CR7","doi-asserted-by":"publisher","first-page":"948","DOI":"10.1145\/330249.330252","volume":"21","author":"M. Codish","year":"1999","unstructured":"M. Codish, H. S\u2205ndergaard, and P. J. Stuckey. Sharing and Groundness Dependencies in Logic Programs. ACM Transactions on Programming Languages and Systems, 21(5):948\u2013976, 1999.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic Design of Program Analysis Frameworks. In Proc. Sixth ACM Symp. Principles of Programming Languages, pages 269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"issue":"2 & 3","key":"20_CR9","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation and Applications to Logic Programs. Journal of Logic Programming, 13(2 & 3):103\u2013179, 1992.","journal-title":"Journal of Logic Programming"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/S0304-3975(98)00194-7","volume":"216","author":"R. Giacobazzi","year":"1999","unstructured":"R. Giacobazzi and R. Ranzato. The Reduced Relative Power Operation on Abstract Domains. Theoretical Computer Science, 216:159\u2013211, 1999.","journal-title":"Theoretical Computer Science"},{"issue":"2 & 3","key":"20_CR11","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/0743-1066(92)90053-6","volume":"13","author":"M. Hermenegildo","year":"1992","unstructured":"M. Hermenegildo, W. Warren, and S. K. Debray. Global Flow Analysis as a Practical Compilation Tool. Journal of Logic Programing, 13(2 & 3):349\u2013366, 1992.","journal-title":"Journal of Logic Programing"},{"issue":"2 & 3","key":"20_CR12","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(2 & 3):291\u2013314, 1992.","journal-title":"Journal of Logic Programming"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Giorgio Levi and Fausto Spoto. Non Pair-Sharing and Freeness Analysis through Linear Refinement. In Proc. of the Partial Evaluation and Program Manipulation Workshop, pages 52\u201361, Boston, Mass., January 2000. ACM Press. Available at http:\/\/strudel.di.unipi.it\/papers.","DOI":"10.1145\/328690.328699"},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"A. Martelli and U. Montanari. An efficient unification algorithm. ACM Transactions on Programming Languages and Systems, 4:258\u2013282, 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR15","unstructured":"K. Muthukumar and M. Hermenegildo. Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation. In K. Furukawa, editor, Proceedings of the 8th International Conference on Logic Programming, pages 49\u201363, Paris, 1991. The MIT Press."},{"key":"20_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/3-540-16442-1_25","volume-title":"An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction","author":"H. S\u2205ndergaard","year":"1986","unstructured":"H. S\u2205ndergaard. An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction. In B. Robinet and R. Wilhelm, editors, Proc. ESOP 86, volume 213 of Lecture Notes in Computer Science, pages 327\u2013338. Springer-Verlag, 1986."}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44716-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T10:54:31Z","timestamp":1737370471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44716-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417392","9783540447160"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-44716-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"21 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}