{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:27:08Z","timestamp":1725456428977},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634683"},{"type":"electronic","value":"9783540695769"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0032733","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T01:56:10Z","timestamp":1133402170000},"page":"53-67","source":"Crossref","is-referenced-by-count":11,"title":["Set-sharing is redundant for pair-sharing"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bagnara","sequence":"first","affiliation":[]},{"given":"Patricia M.","family":"Hill","sequence":"additional","affiliation":[]},{"given":"Enea","family":"Zaffanella","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"4_CR1","unstructured":"R. Bagnara. Data-Flow Analysis for Constraint Logic-Based Languages. PhD thesis, Dipartimento di Informatica, Universith di Pisa, Corso Italia 40, I-56125 Pisa, Italy, March 1997. Printed as Report TD-1\/97."},{"key":"4_CR2","unstructured":"R. Bagnara, P. M. Hill, and E. Zaffanelia. Sharing revisited. Technical Report 97.19, School of Computer Studies, University of Leeds, 1997."},{"key":"4_CR3","first-page":"153","volume-title":"Static Analysis, Proceedings of the Third International Workshop, volume 724 of Lecture Notes in Computer Science","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."},{"key":"4_CR4","first-page":"213","volume-title":"Verification and Analysis of Logic Languages, Proceedings of the W2 Post-Conference Workshop, International Conference on Logic Programming","author":"M Bruynooghe","year":"1994","unstructured":"M Bruynooghe, M. Codish, and A. Mulkers. Abstract unification for a composite domain deriving sharing and freeness properties of program variables. In F. S. de Boer and M. Gabbrielli, editors, Verification and Analysis of Logic Languages, Proceedings of the W2 Post-Conference Workshop, International Conference on Logic Programming, pages 213\u2013230, Santa Margherita Ligure, Italy, 1994."},{"key":"4_CR5","series-title":"MIT Press Series in Logic Programming","first-page":"116","volume-title":"Logic Programming: Proceedings of the Tenth International Conference on Logic Programming","author":"M. Codish","year":"1993","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."},{"key":"4_CR6","first-page":"251","volume-title":"Proceedings of the \u201cEighth Italian Conference on Logic Programming (GULP'93)\u201d","author":"A. Cortesi","year":"1993","unstructured":"A. Cortesi and G. Fil\u00e9. Comparison and design of abstract domains for sharing analysis. In D. Sacc\u00e0, editor, Proceedings of the \u201cEighth Italian Conference on Logic Programming (GULP'93)\u201d, pages 251\u2013265, Gizzeria, Italy, 1993. Mediterranean Press."},{"key":"4_CR7","unstructured":"A. Cortesi, G. Fil\u00e9, and W. Winsborough. The quotient of an abstract interpretation for comparing static analyses. In M. Alpuente, R. Barbuti, and I. Ramos, editors, Proceedings of the \u201c1994 Joint Conference on Declarative Programming (GULP-PRODS '94)\u201d, pages 372\u2013397, Pe\u00f1\u00edscola, Spain, September 1994. An extended version will appear in Theoretical Computer Science."},{"key":"4_CR8","series-title":"Technical Report CS-93-13","volume-title":"Conceptual and software support for abstract domain design: Generic structural domain and open product","author":"A. Cortesi","year":"1993","unstructured":"A. Cortesi, B. Le Charlier, and P. Van Hentenryck. Conceptual and software support for abstract domain design: Generic structural domain and open product. Technical Report CS-93-13, Brown University, Providence, RI, 1993."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"A. Cortesi, B. Le Charlier, and P. Van Hentenryck. Combinations of abstract domains for logic programming. In Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 227\u2013239, Portland, Oregon, 1994.","DOI":"10.1145\/174675.177880"},{"key":"4_CR10","unstructured":"G. Fil\u00e9. Share x Free: Simple and correct. Technical Report 15, Dipartimento di Matematica, Universit\u00e0 di Padova, December 1994."},{"key":"4_CR11","first-page":"154","volume-title":"Proceedings of the North American Conference on Logic Programming","author":"D. Jacobs","year":"1989","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, Proceedings of the North American Conference on Logic Programming, pages 154\u2013165. The MIT Press, Cambridge, Mass., 1989."},{"issue":"2&3","key":"4_CR12","doi-asserted-by":"crossref","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":"4_CR13","first-page":"363","volume-title":"Proceedings of the Fifth European Symposium on Programming, volume 788 of Lecture Notes in Computer Science","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":"4_CR14","series-title":"MIT Press Series in Logic Programming","first-page":"553","volume-title":"Logic Programming: Proceedings of the Eleventh International Conference on Logic Programming","author":"A. King","year":"1994","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":"4_CR15","unstructured":"A. Langen. Static Analysis for Independent And-Parallelism in Logic Programs. PhD thesis, University of Southern California, 1990."},{"key":"4_CR16","series-title":"MIT Press Series in Logic Programming","first-page":"49","volume-title":"Logic Programming: Proceedings of the Eighth International Conference on Logic Programming","author":"K. Muthukumar","year":"1991","unstructured":"K. Muthukumar and M. Hermenegildo. Combined determination of sharing and freeness of program variables through abstract interpretation. In K. Furukawa, editor, Logic Programming: Proceedings of the Eighth International Conference on Logic Programming, MIT Press Series in Logic Programming, pages 49\u201363, Paris, France, 1991. The MIT Press."},{"key":"4_CR17","first-page":"327","volume-title":"Proceedings of the 1986 European Symposium on Programming, volume 213 of Lecture Notes in Computer Science","author":"H. Sondergaard","year":"1986","unstructured":"H. Sondergaard. An application of abstract interpretation of logic programs: Occur check reduction. In Proceedings of the 1986 European Symposium on Programming, volume 213 of Lecture Notes in Computer Science, pages 327\u2013338. Springer-Verlag, Berlin, 1986."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0032733","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T23:18:21Z","timestamp":1549408701000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032733"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634683","9783540695769"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0032733","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}