{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:08:52Z","timestamp":1760202532304},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"4-5","license":[{"start":{"date-parts":[[2006,6,2]],"date-time":"2006-06-02T00:00:00Z","timestamp":1149206400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2006,8]]},"DOI":"10.1007\/s10009-005-0215-8","type":"journal-article","created":{"date-parts":[[2006,6,9]],"date-time":"2006-06-09T04:34:58Z","timestamp":1149827698000},"page":"449-466","source":"Crossref","is-referenced-by-count":31,"title":["Widening operators for powerset domains"],"prefix":"10.1007","volume":"8","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":[[2006,6,2]]},"reference":[{"key":"215_CR1","first-page":"1","volume-title":"Handbook of Logic in Computer Science, vol. 3, Chapter 1","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 3, Chapter 1, pp. 1\u2013168. Clarendon Press, Oxford, UK (1994)"},{"issue":"1\u20132","key":"215_CR2","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0167-6423(97)00009-9","volume":"30","author":"R. Bagnara","year":"1998","unstructured":"Bagnara, R.: A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Sci. Comput. Program. 30(1\u20132), 119\u2013155 (1998)","journal-title":"Sci. Comput. Program."},{"key":"215_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/11547662_3","volume-title":"Static Analysis: Proceedings of the 12th International Symposium, London, UK","author":"R. Bagnara","year":"2005","unstructured":"Bagnara, R., Hill, P.M., Mazzi, E., Zaffanella, E.: Widening operators for weakly-relational numeric abstractions. In: Hankin, C., Silveroni, I. (eds.) Static Analysis: Proceedings of the 12th International Symposium, London, UK. Lecture Notes in Computer Science, vol. 3672, pp. 3\u201318. Springer-Verlag, Berlin Heidelberg New York (2005)"},{"key":"215_CR4","volume-title":"The Parma Polyhedra Library User\u2019s Manual","author":"R. Bagnara","year":"April 2003","unstructured":"Bagnara, R., Hill, P.M., Ricci, E., Zaffanella, E.: The Parma Polyhedra Library User\u2019s Manual. Department of Mathematics, University of Parma, Parma, Italy, release 0.5 edition, April 2003. http:\/\/www.cs.unipr.it\/ppl\/"},{"key":"215_CR5","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-44898-5_19","volume-title":"Static Analysis: Proceedings of the 10th International Symposium, San Diego, California, USA","author":"R. Bagnara","year":"2003","unstructured":"Bagnara, R., Hill, P.M., Ricci, E., Zaffanella, E.: Precise widening operators for convex polyhedra. In: Cousot, R. (ed.) Static Analysis: Proceedings of the 10th International Symposium, San Diego, California, USA. Lecture Notes in Computer Science, vol. 2694, pp. 337\u2013354. Springer-Verlag, Berlin Heidelberg New York (2003)"},{"issue":"1\u20132","key":"215_CR6","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1016\/j.scico.2005.02.003","volume":"58","author":"R. Bagnara","year":"2005","unstructured":"Bagnara, R., Hill, P.M., Ricci, E., Zaffanella, E.: Precise widening operators for convex polyhedra. Sci. Comput. Program. 58(1\u20132), 28\u201356 (2005)","journal-title":"Sci. Comput. Program."},{"key":"215_CR7","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/3-540-45789-5_17","volume-title":"Static Analysis: Proceedings of the 9th International Symposium, Madrid, Spain","author":"R. Bagnara","year":"2002","unstructured":"Bagnara, R., Ricci, E., Zaffanella, E., Hill, P.M.: Possibly not closed convex polyhedra and the Parma Polyhedra Library. In: Hermenegildo, M.V., Puebla, G. (eds.) Static Analysis: Proceedings of the 9th International Symposium, Madrid, Spain. Lecture Notes in Computer Science, vol. 2477, pp. 213\u2013229. Springer-Verlag, Berlin Heidelberg New York (2002)"},{"key":"215_CR8","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-48294-6_4","volume-title":"Static Analysis: Proceedings of the 6th International Symposium, Venice, Italy","author":"F. Besson","year":"1999","unstructured":"Besson, F., Jensen, T.P., Talpin, J.-P.: Polyhedral analysis for synchronous languages. In: Cortesi, A., Fil\u00e9, G. (eds.) Static Analysis: Proceedings of the 6th International Symposium, Venice, Italy. Lecture Notes in Computer Science, vol. 1694, pp. 51\u201368. Springer-Verlag, Berlin Heidelberg New York (1999)"},{"key":"215_CR9","volume-title":"Lattice Theory, vol. XXV of Colloquium Publications","author":"G. Birkhoff","year":"1967","unstructured":"Birkhoff, G.: Lattice Theory, vol. XXV of Colloquium Publications, 3rd edn. American Mathematical Society, Providence, Rhode Island, USA (1967)","edition":"3rd edn."},{"issue":"4","key":"215_CR10","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1017\/S0956796800000496","volume":"2","author":"F. Bourdoncle","year":"1992","unstructured":"Bourdoncle, F.: Abstract interpretation by dynamic partitioning. J. Funct. Program. 2(4), 407\u2013435 (1992)","journal-title":"J. Funct. Program."},{"issue":"4","key":"215_CR11","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1145\/325478.325480","volume":"21","author":"T. Bultan","year":"1999","unstructured":"Bultan, T., Gerber, R., Pugh, W.: Model-checking concurrent systems with unbounded integer variables: Symbolic representations, approximations, and experimental results. ACM Trans. Program. Lang. Syst. 21(4), 747\u2013789 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"215_CR12","first-page":"322","volume-title":"Prop revisited: Propositional formula as abstract domain for groundness analysis","author":"A. Cortesi","year":"1991","unstructured":"Cortesi, A., Fil\u00e9, G., Winsborough, W.: Prop revisited: Propositional formula as abstract domain for groundness analysis. In: Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, pp. 322\u2013327. IEEE Computer Society Press, Amsterdam, The Netherlands (1991)"},{"issue":"1\u20133","key":"215_CR13","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/S0167-6423(99)00045-3","volume":"38","author":"A. Cortesi","year":"2000","unstructured":"Cortesi, A., Le Charlier, B., Van Hentenryck, P.: Combinations of abstract domains for logic programming: Open product and generic pattern construction. Sci. Comput. Program. 38(1\u20133), 27\u201371 (2000)","journal-title":"Sci. Comput. Program."},{"key":"215_CR14","first-page":"106","volume-title":"Proceedings of the Second International Symposium on Programming","author":"P. Cousot","year":"1976","unstructured":"Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Robinet, B. (ed.) Proceedings of the Second International Symposium on Programming, Dunod, Paris, France, pp. 106\u2013130 (1976)"},{"key":"215_CR15","first-page":"238","volume-title":"Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the Fourth Annual ACM Symposium on Principles of Programming Languages, pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"215_CR16","first-page":"269","volume-title":"Proceedings of the Sixth Annual ACM Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Proceedings of the Sixth Annual ACM Symposium on Principles of Programming Languages, pp. 269\u2013282. ACM Press, New York (1979)"},{"issue":"2&3","key":"215_CR17","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation and applications to logic programs. J. Logic Program. 13(2&3), 103\u2013179 (1992)","journal-title":"J. Logic Program."},{"issue":"4","key":"215_CR18","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation frameworks. J. Logic Comput. 2(4), 511\u2013547 (1992)","journal-title":"J. Logic Comput."},{"key":"215_CR19","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-55844-6_142","volume-title":"Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgium. Lecture Notes in Computer Science, vol. 631","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation. In: Bruynooghe, M., Wirsing, M. (eds.) Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgium. Lecture Notes in Computer Science, vol. 631, pp. 269\u2013295. Springer-Verlag, Berlin Heidelberg New York (1992)"},{"key":"215_CR20","first-page":"84","volume-title":"Proceedings of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona","author":"P. Cousot","year":"1978","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Proceedings of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, pp. 84\u201396. ACM Press, New York (1978)"},{"key":"215_CR21","first-page":"223","volume-title":"Tools and Algorithms for Construction and Analysis of Systems, Proceedings of the 5th International Conference, TACAS \u201999, Amsterdam, The Netherlands. Lecture Notes in Computer Science, vol. 1579","author":"G. Delzanno","year":"1999","unstructured":"Delzanno, G., Podelski, A.: Model checking in CLP. In: Cleaveland, R. (ed.) Tools and Algorithms for Construction and Analysis of Systems, Proceedings of the 5th International Conference, TACAS \u201999, Amsterdam, The Netherlands. Lecture Notes in Computer Science, vol. 1579, pp. 223\u2013239. Springer-Verlag, Berlin Heidelberg New York (1999)"},{"issue":"8","key":"215_CR22","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1145\/359138.359142","volume":"22","author":"N. Dershowitz","year":"1979","unstructured":"Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Commun. ACM 22(8), 465\u2013476 (1979)","journal-title":"Commun. ACM"},{"key":"215_CR23","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/S0304-3975(98)00007-3","volume":"222","author":"G. Fil\u00e9","year":"1999","unstructured":"Fil\u00e9, G., Ranzato, F.: The powerset operator on abstract interpretations. Theoret. Comput. Sci. 222, 77\u2013111 (1999)","journal-title":"Theoret. Comput. Sci."},{"key":"215_CR24","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0032748","volume-title":"Static Analysis: Proceedings of the 4th International Symposium, Paris, France. Lecture Notes in Computer Science","author":"P. Granger","year":"1997","unstructured":"Granger, P.: Static analyses of congruence properties on rational numbers (extended abstract). In: Van Hentenryck, P. (ed.) Static Analysis: Proceedings of the 4th International Symposium, Paris, France. Lecture Notes in Computer Science, vol. 1302, pp. 278\u2013292. Springer-Verlag, Berlin Heidelberg New York(1997)"},{"key":"215_CR25","unstructured":"Halbwachs, N.: D\u00e9termination Automatique de Relations Lin\u00e9aires V\u00e9rifi\u00e9es par les Variables d\u2019un Programme. Th\u00e8se de 3\u00e8me cycle d\u2019informatique, Universit\u00e9 scientifique et m\u00e9dicale de Grenoble, Grenoble, France (March 1979)"},{"key":"215_CR26","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/3-540-56922-7_28","volume-title":"Computer Aided Verification: Proceedings of the 5th International Conference, Elounda, Greece. Lecture Notes in Computer Science","author":"N. Halbwachs","year":"1993","unstructured":"Halbwachs, N.: Delay analysis in synchronous programs. In: Courcoubetis, C. (ed.) Computer Aided Verification: Proceedings of the 5th International Conference, Elounda, Greece. Lecture Notes in Computer Science, vol. 697, pp. 333\u2013346. Springer-Verlag, Berlin Heidelberg New York (1993)"},{"issue":"2","key":"215_CR27","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1023\/A:1008678014487","volume":"11","author":"N. Halbwachs","year":"1997","unstructured":"Halbwachs, N., Proy, Y.-E., Roumanoff, P.: Verification of real-time systems using linear relation analysis. Formal Methods Syst. Des. 11(2), 157\u2013185 (1997)","journal-title":"Formal Methods Syst. Des."},{"key":"215_CR28","unstructured":"Holzbaur, C.: OFAI clp(q,r) manual, edn. 1.3.3. Technical Report TR-95-09, Austrian Research Institute for Artificial Intelligence, Vienna (1995)"},{"key":"215_CR29","unstructured":"Kelly, W., Maslov, V., Pugh, W., Rosser, E., Shpeisman, T., Wonnacott, D.: The \u03c9 Library Interface Guide. Technical Report CS-TR-3445, Department of Computer Science, University of Maryland, College Park, MD, USA (1995)"},{"key":"215_CR30","volume-title":"A note on Chernikova\u2019s Algorithm. Publication interne 635, IRISA","author":"H. Verge Le","year":"1992","unstructured":"Le Verge, H.: A note on Chernikova\u2019s Algorithm. Publication interne 635, IRISA, Campus de Beaulieu, Rennes, France (1992)"},{"key":"215_CR31","unstructured":"Loechner, V.: PolyLib: A library for manipulating parameterized polyhedra. http:\/\/icps.u-strasbg.fr\/loechner\/polylib\/ . Cited March 1999 (Declares itself to be a continuation of Wilde93th)."},{"issue":"8","key":"215_CR32","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/135226.135233","volume":"35","author":"W. Pugh","year":"1992","unstructured":"Pugh, W.: A practical algorithm for exact array dependence analysis. Commun. ACM 35(8), 102\u2013114 (1992)","journal-title":"Commun. ACM"},{"issue":"3\u20134","key":"215_CR33","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF01530796","volume":"8","author":"D. Srivastava","year":"1993","unstructured":"Srivastava, D.: Subsumption and indexing in constraint query languages with linear arithmetic constraints. Ann. Math. Artif. Intell. 8(3\u20134), 315\u2013343 (1993)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"215_CR34","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0743-1066(94)00021-W","volume":"22","author":"P. Hentenryck Van","year":"1995","unstructured":"Van Hentenryck, P., Cortesi, A., Le Charlier, B.: Type analysis of Prolog using type graphs. J. Logic Program. 22(3), 179\u2013209 (1995)","journal-title":"J. Logic Program."},{"key":"215_CR35","unstructured":"Wilde, D.K.: A library for doing polyhedral operations. Master\u2019s thesis, Oregon State University, Corvallis, Oregon, December 1993 (also published as IRISA Publication interne 785, Rennes, France (1993))"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-005-0215-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-005-0215-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-005-0215-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:25:22Z","timestamp":1559114722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-005-0215-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,2]]},"references-count":35,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2006,8]]}},"alternative-id":["215"],"URL":"https:\/\/doi.org\/10.1007\/s10009-005-0215-8","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6,2]]}}}