{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:08:05Z","timestamp":1760044085436},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714095"},{"type":"electronic","value":"9783540714101"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71410-1_16","type":"book-chapter","created":{"date-parts":[[2007,5,21]],"date-time":"2007-05-21T10:57:52Z","timestamp":1179745072000},"page":"219-235","source":"Crossref","is-referenced-by-count":10,"title":["Grids: A Domain for Analyzing the Distribution of Numerical Values"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bagnara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katy","family":"Dobson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patricia M.","family":"Hill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Mundell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enea","family":"Zaffanella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Ancourt, C.: G\u00e9n\u00e9ration Automatique de Codes de Transfert pour Multiprocesseurs \u00e0 M\u00e9moires Locales. PhD thesis, Universit\u00e9 de Paris VI (March 1991)","key":"16_CR1"},{"unstructured":"Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library User\u2019s Manual. Department of Mathematics, University of Parma, Parma, Italy, release 0.9 edition, March 2006 (2006), Available at, \n                    \n                      http:\/\/www.cs.unipr.it\/ppl\/","key":"16_CR2"},{"doi-asserted-by":"crossref","unstructured":"Bagnara, R., Hill, P.M., Zaffanella, E.: Widening operators for powerset domains. Software Tools for Technology Transfer (To appear, 2006)","key":"16_CR3","DOI":"10.1007\/s10009-005-0215-8"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-45789-5_17","volume-title":"Static Analysis","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.) SAS 2002. LNCS, vol.\u00a02477, pp. 213\u2013229. Springer, Heidelberg (2002)"},{"issue":"3","key":"16_CR5","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/S0747-7171(08)80013-2","volume":"9","author":"D. Coppersmith","year":"1990","unstructured":"Coppersmith, D., Winograd, S.: Matrix multiplication via arithmetic progressions. Journal of Symbolic Computation\u00a09(3), 251\u2013280 (1990)","journal-title":"Journal of Symbolic Computation"},{"key":"16_CR6","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, Paris, France, pp. 106\u2013130. Dunod, Paris (1976)"},{"key":"16_CR7","first-page":"238","volume-title":"Proceedings of the Fourth Annual ACM Symposium on Principles of Programming Languages","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)"},{"issue":"4","key":"16_CR8","doi-asserted-by":"publisher","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. Journal of Logic and Computation\u00a02(4), 511\u2013547 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-55844-6_142","volume-title":"Programming Language Implementation and Logic Programming","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.) PLILP 1992. LNCS, vol.\u00a0631, pp. 269\u2013295. Springer, Heidelberg (1992)"},{"key":"16_CR10","first-page":"84","volume-title":"Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1978","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, pp. 84\u201396. ACM Press, New York (1978)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Static Analysis","year":"2004","unstructured":"Giacobazzi, R. (ed.): SAS 2004. LNCS, vol.\u00a03148. Springer, Heidelberg (2004)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1080\/00207168908803778","volume":"30","author":"P. Granger","year":"1989","unstructured":"Granger, P.: Static analysis of arithmetical congruences. International Journal of Computer Mathematics\u00a030, 165\u2013190 (1989)","journal-title":"International Journal of Computer Mathematics"},{"unstructured":"Granger, P.: Analyses S\u00e9mantiques de Congruence. PhD thesis, \u00c9cole Polytechnique, 921128 Palaiseau, France (July 1991)","key":"16_CR13"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-53982-4_10","volume-title":"TAPSOFT \u201991. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991","author":"P. Granger","year":"1991","unstructured":"Granger, P.: Static analysis of linear congruence equalities among variables of a program. In: Abramsky, S. (ed.) CAAP 1991 and TAPSOFT 1991. LNCS, vol.\u00a0493, pp. 169\u2013192. Springer, Heidelberg (1991)"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/BFb0032748","volume-title":"Static Analysis","author":"P. Granger","year":"1997","unstructured":"Granger, P.: Static analyses of congruence properties on rational numbers (extended abstract). In: Van Hentenryck, P. (ed.) SAS 1997. LNCS, vol.\u00a01302, pp. 278\u2013292. Springer, Heidelberg (1997)"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00268497","volume":"6","author":"M. Karr","year":"1976","unstructured":"Karr, M.: Affine relationships among variables of a program. Acta Informatica\u00a06, 133\u2013151 (1976)","journal-title":"Acta Informatica"},{"key":"16_CR17","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/PACT.2002.1105970","volume-title":"Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques (PACT\u201902)","author":"S. Larsen","year":"2002","unstructured":"Larsen, S., Witchel, E., Amarasinghe, S.P.: Increasing and detecting memory address congruence. In: Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques (PACT\u201902), Charlottesville, VA, USA, pp. 18\u201329. IEEE Computer Society Press, Los Alamitos (2002)"},{"unstructured":"Loechner, V.: PolyLib: A library for manipulating parameterized polyhedra (March 1999), available at \n                    \n                      http:\/\/icps.u-strasbg.fr\/~loechner\/polylib\/\n                    \n                    \n                  . Declares itself to be a continuation of: Wilde, D.K.: A library for doing polyhedral operations. Master\u2019s thesis, Oregon State University, Corvallis, Oregon (Dec. 1993), also published as IRISA Publication interne 785, Rennes, France (1993)","key":"16_CR18"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/3-540-45789-5_11","volume-title":"Static Analysis","author":"A. Min\u00e9","year":"2002","unstructured":"Min\u00e9, A.: A few graph-based relational numerical abstract domains. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 117\u2013132. Springer, Heidelberg (2002)"},{"doi-asserted-by":"crossref","unstructured":"Motzkin, T.S., Raiffa, H., Thompson, G.L., Thrall, R.M.: The double description method. In: Kuhn, H.W., Tucker, A.W. (eds.) Contributions to the Theory of Games \u2013 Annals of Mathematics Studies 2(28), pp. 51\u201373. Princeton University Press, Princeton (1953)","key":"16_CR20","DOI":"10.1515\/9781400881970-004"},{"key":"16_CR21","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/964001.964029","volume-title":"Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004)","author":"M. M\u00fcller-Olm","year":"2004","unstructured":"M\u00fcller-Olm, M., Seidl, H.: Precise interprocedural analysis through linear algebra. In: Jones, N.D., Leroy, X. (eds.) Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004), Venice, Italy, pp. 330\u2013341. ACM Press, New York (2004)"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/978-3-540-31987-0_5","volume-title":"Programming Languages and Systems","author":"M. M\u00fcller-Olm","year":"2005","unstructured":"M\u00fcller-Olm, M., Seidl, H.: Analysis of modular arithmetic. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 46\u201360. Springer, Heidelberg (2005)"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/11547662_17","volume-title":"Static Analysis","author":"M. M\u00fcller-Olm","year":"2005","unstructured":"M\u00fcller-Olm, M., Seidl, H.: A generic framework for interprocedural analysis of numerical properties. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol.\u00a03672, pp. 235\u2013250. Springer, Heidelberg (2005)"},{"unstructured":"Nookala, S.P.K., Risset, T.: A library for Z-polyhedral operations. Publication interne 1330, IRISA, Campus de Beaulieu, Rennes, France (2000)","key":"16_CR24"},{"unstructured":"Quinton, P., Rajopadhye, S., Risset, T.: On manipulating Z-polyhedra. Technical Report 1016, IRISA, Campus Universitaire de Bealieu, Rennes, France, July (1996)","key":"16_CR25"},{"issue":"2","key":"16_CR26","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S012962649700019X","volume":"7","author":"P. Quinton","year":"1997","unstructured":"Quinton, P., Rajopadhye, S., Risset, T.: On manipulating Z-polyhedra using a canonic representation. Parallel Processing Letters\u00a07(2), 181\u2013194 (1997)","journal-title":"Parallel Processing Letters"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/978-3-540-27864-1_21","volume-title":"Static Analysis","author":"E. Rodr\u00edguez-Carbonell","year":"2004","unstructured":"Rodr\u00edguez-Carbonell, E., Kapur, D.: An abstract interpretation approach for automatic generation of polynomial invariants. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol.\u00a03148, pp. 280\u2013295. Springer, Heidelberg (2004)"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-3-540-27864-1_7","volume-title":"Static Analysis","author":"S. Sankaranarayanan","year":"2004","unstructured":"Sankaranarayanan, S., Sipma, H., Manna, Z.: Constraint-based linear-relations analysis. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol.\u00a03148, pp. 53\u201368. Springer, Heidelberg (2004)"},{"key":"16_CR29","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1999","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. John Wiley & Sons, Chichester (1999)"},{"unstructured":"Wilde, D.K.: A library for doing polyhedral operations. Master\u2019s thesis, Oregon State University, Corvallis, Oregon (Dec. 1993), also published as IRISA Publication interne 785, Rennes, France (1993)","key":"16_CR30"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71410-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:19:44Z","timestamp":1605763184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71410-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540714095","9783540714101"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71410-1_16","relation":{},"subject":[]}}