{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:07:30Z","timestamp":1773234450269,"version":"3.50.1"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,6,1]],"date-time":"2009-06-01T00:00:00Z","timestamp":1243814400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s10990-009-9046-8","type":"journal-article","created":{"date-parts":[[2009,12,16]],"date-time":"2009-12-16T11:20:54Z","timestamp":1260962454000},"page":"145-154","source":"Crossref","is-referenced-by-count":10,"title":["A minimalistic look at widening operators"],"prefix":"10.1007","volume":"22","author":[{"given":"David","family":"Monniaux","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,12,17]]},"reference":[{"key":"9046_CR1","series-title":"LNCS","isbn-type":"print","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/11547662_3","volume-title":"Static Analysis (SAS)","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. (ed.) Static Analysis (SAS). LNCS, vol.\u00a03672, pp. 3\u201318. Springer, Berlin (2005). ISBN 3-540-28584-9. doi: 10.1007\/11547662_3","ISBN":"https:\/\/id.crossref.org\/isbn\/3540285849"},{"key":"9046_CR2","series-title":"Texts in Theoretical Computer Science","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development, Coq\u2019Art: The Calculus of Inductive Constructions","author":"Y. Bertot","year":"2004","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive Theorem Proving and Program Development, Coq\u2019Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. Springer, Berlin (2004). ISBN 3-540-20854-2","ISBN":"https:\/\/id.crossref.org\/isbn\/3540208542"},{"key":"9046_CR3","series-title":"LNCS","isbn-type":"print","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/3-540-36377-7_5","volume-title":"The Essence of Computation: Complexity, Analysis, Transformation","author":"B. Blanchet","year":"2002","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. In: Mogensen, T.\u00c6, Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation: Complexity, Analysis, Transformation. LNCS, vol.\u00a02566, pp. 85\u2013108. Springer, Berlin (2002). ISBN 3-540-00326-6. doi: 10.1007\/3-540-36377-7_5","ISBN":"https:\/\/id.crossref.org\/isbn\/3540003266"},{"key":"9046_CR4","isbn-type":"print","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1145\/781131.781153","volume-title":"Programming Language Design and Implementation (PLDI)","author":"B. Blanchet","year":"2003","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: Programming Language Design and Implementation (PLDI), pp. 196\u2013207. ACM, New York (2003). ISBN 1-58113-662-5. doi: 10.1145\/781131.781153","ISBN":"https:\/\/id.crossref.org\/isbn\/1581136625"},{"key":"9046_CR5","isbn-type":"print","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke, E.M.\u00a0Jr., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999). ISBN 0-262-03270-8.","ISBN":"https:\/\/id.crossref.org\/isbn\/0262032708"},{"key":"9046_CR6","series-title":"LNCS","isbn-type":"print","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1007\/11513988_46","volume-title":"Computer Aided Verification (CAV)","author":"A. Costan","year":"2005","unstructured":"Costan, A., Gaubert, S., Goubault, \u00c9., Martel, M., Putot, S.: A policy iteration algorithm for computing fixed points in static analysis of programs. In: Etessami, K., Rajamani, S.K. (eds.) Computer Aided Verification (CAV). LNCS, vol. 4590, pp. 462\u2013475. Springer, Berlin (2005). ISBN 3-540-27231-3. doi: 10.1007\/11513988_46","ISBN":"https:\/\/id.crossref.org\/isbn\/3540272313"},{"key":"9046_CR7","unstructured":"Cousot, P.: M\u00e9thodes it\u00e9ratives de construction et d\u2019approximation de points fixes d\u2019op\u00e9rateurs monotones sur un treillis, analyse s\u00e9mantique des programmes. State doctorate thesis, Universit\u00e9 scientifique et m\u00e9dicale de Grenoble & Institut national polytechnique de Grenoble (1978). http:\/\/tel.archives-ouvertes.fr\/tel-00288657\/en\/ . In French"},{"key":"9046_CR8","isbn-type":"print","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-30579-8_1","volume-title":"Sixth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI\u201905)","author":"P. Cousot","year":"2005","unstructured":"Cousot, P.: Proving program invariance and termination by parametric abstraction, Lagrangian relaxation and semidefinite programming. In: Sixth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI\u201905), January 17\u201319, 2005, pp. 1\u201324. Springer, Berlin (2005). ISBN 3-540-24297-X. doi: 10.1007\/b105073 . http:\/\/www.di.ens.fr\/~cousot\/COUSOTpapers\/VMCAI05.shtml","ISBN":"https:\/\/id.crossref.org\/isbn\/354024297X"},{"key":"9046_CR9","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation frameworks. J. Log. Comput., 511\u2013547 (1992). ISSN 0955-792X. doi: 10.1093\/logcom\/2.4.511","DOI":"10.1093\/logcom\/2.4.511"},{"key":"9046_CR10","first-page":"84","volume-title":"Principles of Programming Languages (POPL)","author":"P. Cousot","year":"1978","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Principles of Programming Languages (POPL), pp. 84\u201396. ACM, New York (1978). doi: 10.1145\/512760.512770"},{"key":"9046_CR11","unstructured":"D\u2019Silva, V.: Widening for automata. Diplomarbeit, Universit\u00e4t Z\u00fcrich (2006)"},{"key":"9046_CR12","series-title":"LNCS","isbn-type":"print","first-page":"300","volume-title":"Programming Languages and Systems (ESOP)","author":"T. Gawlitza","year":"2007","unstructured":"Gawlitza, T., Seidl, H.: Precise fixpoint computation through strategy iteration. In: de Nicola, R. (ed.): Programming Languages and Systems (ESOP). LNCS, vol. 4421, pp. 300\u2013315. Springer, Berlin (2007). ISBN 978-3-540-71316-6. doi: 10.1007\/978-3-540-71316-6_21","ISBN":"https:\/\/id.crossref.org\/isbn\/9783540713"},{"key":"9046_CR13","unstructured":"Halbwachs, N.: D\u00e9termination automatique de relations lin\u00e9aires v\u00e9rifi\u00e9es par les variables d\u2019un programme. PhD thesis, Universit\u00e9 scientifique et m\u00e9dicale de Grenoble & Institut national polytechnique de Grenoble (1979). http:\/\/tel.archives-ouvertes.fr\/tel-00288805\/en\/ . In French"},{"key":"9046_CR14","isbn-type":"print","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/3-540-56922-7_28","volume-title":"Computer Aided Verification (CAV)","author":"N. Halbwachs","year":"1993","unstructured":"Halbwachs, N.: Delay analysis in synchronous programs. In: Computer Aided Verification (CAV), pp. 333\u2013346. Springer, Berlin (1993). ISBN 3-540-56922-7. doi: 10.1007\/3-540-56922-7_28","ISBN":"https:\/\/id.crossref.org\/isbn\/3540569227"},{"key":"9046_CR15","unstructured":"Min\u00e9, A.: Weakly relational numerical abstract domains. PhD thesis, \u00c9cole polytechnique, Palaiseau, France (December 2004). In English"},{"key":"9046_CR16","series-title":"LNCS","isbn-type":"print","first-page":"348","volume-title":"Verification, Model Checking, and Abstract Interpretation (VMCAI\u201906)","author":"A. Min\u00e9","year":"2006","unstructured":"Min\u00e9, A.: Symbolic methods to enhance the precision of numerical abstract domains. In: Verification, Model Checking, and Abstract Interpretation (VMCAI\u201906). LNCS, vol. 3855, pp. 348\u2013363. Springer, Berlin (2006). ISBN 3-540-31139-4. doi: 10.1007\/11609773","ISBN":"https:\/\/id.crossref.org\/isbn\/3540311394"},{"key":"9046_CR17","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/978-3-540-74061-2_7","volume-title":"Static Analysis (SAS \u201907)","author":"D. Monniaux","year":"2007","unstructured":"Monniaux, D.: Optimal abstraction on real-valued programs. In: Fil\u00e9, G., Nielson, H.R. (eds.) Static Analysis (SAS \u201907). LNCS, vol. 4634, pp. 104\u2013120. Springer, Berlin (2007)"},{"key":"9046_CR18","isbn-type":"print","volume-title":"POPL (Principles of Programming Languages)","author":"D. Monniaux","year":"2009","unstructured":"Monniaux, D.: Automatic modular abstractions for linear constraints. In: POPL (Principles of Programming Languages). ACM, New York (2009). ISBN 978-1-60558-379-2. doi: 10.1145\/1480881.1480899","ISBN":"https:\/\/id.crossref.org\/isbn\/9781605583"},{"key":"9046_CR19","unstructured":"Pichardie, D.: Interpr\u00e9tation abstraite en logique intuitionniste: extraction d\u2019analyseurs Java certifi\u00e9s. PhD thesis, Universit\u00e9 Rennes 1 (2005). In French"},{"key":"9046_CR20","series-title":"LNCS","first-page":"21","volume-title":"VMCAI","author":"S. Sankaranarayanan","year":"2005","unstructured":"Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Scalable analysis of linear systems using mathematical programming. In: VMCAI. LNCS, vol.\u00a03385, pp.\u00a021\u201347. Springer, Berlin (2005)"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-009-9046-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-009-9046-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-009-9046-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:41Z","timestamp":1559338181000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-009-9046-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["9046"],"URL":"https:\/\/doi.org\/10.1007\/s10990-009-9046-8","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,6]]}}}