{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:24:15Z","timestamp":1725488655474},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664598"},{"type":"electronic","value":"9783540482949"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48294-6_5","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T16:16:02Z","timestamp":1186157762000},"page":"69-84","source":"Crossref","is-referenced-by-count":2,"title":["Decomposing Non-redundant Sharing by Complementation"],"prefix":"10.1007","author":[{"given":"Enea","family":"Zaffanella","sequence":"first","affiliation":[]},{"given":"Patricia M.","family":"Hill","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Bagnara","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,10,1]]},"reference":[{"key":"5_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":"5_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/3-540-49253-4_33","volume-title":"Proceedings of the \u201cSeventh International Conference on Algebraic Methodology and Software Technology (AMAST\u201998)","author":"R. Bagnara","year":"1999","unstructured":"R. Bagnara and P. Schachte. Factorizing equivalent variable pairs in ROBDD-based implementations of Pos. In A. M. Haeberer, editor, Proceedings of the \u201cSeventh International Conference on Algebraic Methodology and Software Technology (AMAST\u201998)\u201d, volume 1548 of Lecture Notes in Computer Science, pages 471\u2013485, Amazonia, Brazil, 1999. Springer-Verlag, Berlin."},{"key":"5_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BFb0056609","volume-title":"Principles of Declarative Programming","author":"M. Codish","year":"1998","unstructured":"M. Codish and H S\u00fcndergaard. The Boolean logic of set sharing analysis. In C. Palamidessi, H. Glaser, and K. Meinke, editors, Principles of Declarative Programming, volume 1490 of Lecture Notes in Computer Science, pages 89\u2013100, Pisa, Italy, 1998. Springer-Verlag, Berlin."},{"key":"5_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/3-540-60360-3_35","volume-title":"Static Analysis: Proceedings of the 2nd International Symposium","author":"A. Cortesi","year":"1995","unstructured":"A. Cortesi, G. Fil\u00e9, R. Giacobazzi, C. Palamidessi, and F. Ranzato. Complementation in abstract interpretation. In A. Mycroft, editor, Static Analysis: Proceedings of the 2nd International Symposium, volume 983 of Lecture Notes in Computer Science, pages 100\u2013117, Glasgow, UK, 1995. Springer-Verlag, Berlin."},{"issue":"1","key":"5_CR5","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/239912.239914","volume":"19","author":"A. Cortesi","year":"1997","unstructured":"A. Cortesi, G. Fil\u00e9, R. Giacobazzi, C. Palamidessi, and F. Ranzato. Complementation in abstract interpretation. ACM Transactions on Programming Languages and Systems, 19(1):7\u201347, 1997.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1&2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/S0304-3975(97)00137-0","volume":"202","author":"A. Cortesi","year":"1998","unstructured":"A. Cortesi, G. Fil\u00e9, and W. Winsborough. The quotient of an abstract interpretation for comparing static analyses. Theoretical Computer Science, 202(1&2):163\u2013192, 1998.","journal-title":"Theoretical Computer Science"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Proceedings of the Sixth Annual ACM Symposium on Principles of Programming Languages, pages 269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"key":"5_CR8","unstructured":"G. Fil\u00e9 and F. Ranzato. Complementation of abstract domains made easy. In M. Maher, editor, Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming, MIT Press Series in Logic Programming, pages 348\u2013362, Bonn, Germany, 1996. The MIT Press."},{"key":"5_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BFb0000474","volume-title":"Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology (AMAST\u201997)","author":"R. Giacobazzi","year":"1997","unstructured":"R. Giacobazzi and F. Ranzato. Completeness in abstract interpretation: a domain perspective. In M. Johnson, editor, Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology (AMAST\u201997), volume 1349 of Lecture Notes in Computer Science, pages 231\u2013245, Sydney, Australia, 1997. Springer-Verlag, Berlin."},{"key":"5_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/BFb0055786","volume-title":"Proceedings of 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS\u201998)","author":"R. Giacobazzi","year":"1998","unstructured":"R. Giacobazzi, F. Ranzato, and F. Scozzari. Complete abstract interpretations made constructive. In J. Gruska and J. Zlatuska, editors, Proceedings of 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS\u201998), volume 1450 of Lecture Notes in Computer Science, pages 366\u2013377. Springer-Verlag, Berlin, 1998."},{"key":"5_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-67678-9","volume-title":"A Compendium of Continuous Lattices","author":"G. Gierz","year":"1980","unstructured":"G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott. A Compendium of Continuous Lattices. Springer-Verlag, Berlin, 1980."},{"key":"5_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3-540-49727-7_6","volume-title":"Static Analysis: Proceedings of the 5th International Symposium","author":"P. M. Hill","year":"1998","unstructured":"P. M. Hill, R. Bagnara, and E. Zaffanella. The correctness of set-sharing. In G. Levi, editor, Static Analysis: Proceedings of the 5th International Symposium, volume 1503 of Lecture Notes in Computer Science, pages 99\u2013114, Pisa, Italy, 1998. Springer-Verlag, Berlin."},{"issue":"2&3","key":"5_CR13","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"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48294-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T17:59:41Z","timestamp":1550426381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48294-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664598","9783540482949"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48294-6_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}