{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T00:46:58Z","timestamp":1775868418914,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540713142","type":"print"},{"value":"9783540713166","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71316-6_17","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:58:28Z","timestamp":1184590708000},"page":"237-252","source":"Crossref","is-referenced-by-count":34,"title":["Static Analysis by Policy Iteration on Relational Domains"],"prefix":"10.1007","author":[{"given":"Stephane","family":"Gaubert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Goubault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ankur","family":"Taly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarah","family":"Zennou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: 2nd International Symposium on Programming, Paris, France (1976)","DOI":"10.1145\/390019.808314"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points. In: Principles of Programming Languages, vol. 4, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"17_CR3","first-page":"107","volume":"74","author":"P. Cousot","year":"1991","unstructured":"Cousot, P., Cousot, R.: Comparison of the Galois connection and widening\/narrowing approaches to abstract interpretation. BIGRE (JTASPEFL\u201991, Bordeaux)\u00a074, 107\u2013110 (1991)","journal-title":"BIGRE"},{"issue":"4","key":"17_CR4","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":"17_CR5","doi-asserted-by":"crossref","unstructured":"Conway, C., et al.: Incremental algorithms for inter-procedural automaton-based program analysis. In: Computer Aided Verification, LNCS. Springer, Heidelberg (2006)","DOI":"10.1007\/11513988_45"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1007\/11513988_46","volume-title":"Computer Aided Verification","author":"A. Costan","year":"2005","unstructured":"Costan, A., et al.: A policy iteration algorithm for computing fixed points in static analysis of programs. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 462\u2013475. Springer, Heidelberg (2005)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 84\u201397 (1978)","DOI":"10.1145\/512760.512770"},{"key":"17_CR8","volume-title":"Linear programming","author":"V. Chv\u00e1tal","year":"1983","unstructured":"Chv\u00e1tal, V.: Linear programming. Freeman and Co., New York (1983)"},{"key":"17_CR9","unstructured":"CIL. Tech. report, Berkeley University, http:\/\/manju.cs.berkeley.edu\/cil\/"},{"issue":"1","key":"17_CR10","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0764-4442(97)82710-3","volume":"326","author":"S. Gaubert","year":"1998","unstructured":"Gaubert, S., Gunawardena, J.: The duality theorem for min-max functions. C.R. Acad. Sci.\u00a0326(1), 43\u201348 (1998)","journal-title":"C.R. Acad. Sci."},{"key":"17_CR11","unstructured":"GLPK. Tech. report, Gnu, http:\/\/www.gnu.org\/software\/glpk\/"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/11823230_3","volume-title":"Static Analysis","author":"\u00c9. Goubault","year":"2006","unstructured":"Goubault, \u00c9., Putot, S.: Static Analysis of Numerical Algorithms. In: Yi, K. (ed.) SAS 2006. LNCS, vol.\u00a04134, pp. 18\u201334. Springer, Heidelberg (2006)"},{"issue":"5","key":"17_CR13","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1287\/mnsc.12.5.359","volume":"12","author":"A.J. Hoffman","year":"1966","unstructured":"Hoffman, A.J., Karp, R.M.: On nonterminating stochastic games. Management sciences\u00a012(5), 359\u2013370 (1966)","journal-title":"Management sciences"},{"key":"17_CR14","volume-title":"Dynamic programming and markov processes","author":"R. Howard","year":"1960","unstructured":"Howard, R.: Dynamic programming and markov processes. Wiley, Chichester (1960)"},{"key":"17_CR15","unstructured":"Mimram, S.: OcamlGLPK. Tech. report, Gnu, http:\/\/ocaml-glpk.sourceforge.net\/"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-44978-7_10","volume-title":"Programs as Data Objects","author":"A. Min\u00e9","year":"2001","unstructured":"Min\u00e9, A.: A new numerical abstract domain based on difference-bound matrices. In: Danvy, O., Filinski, A. (eds.) PADO 2001. LNCS, vol.\u00a02053, pp. 155\u2013172. Springer, Heidelberg (2001)"},{"key":"17_CR17","first-page":"310","volume-title":"AST 2001 in WCRE 2001","author":"A. Min\u00e9","year":"2001","unstructured":"Min\u00e9, A.: The octagon abstract domain. In: AST 2001 in WCRE 2001, pp. 310\u2013319. IEEE, Los Alamitos (2001)"},{"key":"17_CR18","unstructured":"Min\u00e9, A.: Weakly relational numerical abstract domains. Ph.D. thesis, Ecole Nationale Sup\u00e9rieure, France (2004)"},{"key":"17_CR19","unstructured":"Min\u00e9, A.: The octagon domain library (2005)"},{"key":"17_CR20","series-title":"Lecture Notes in Computer Science","first-page":"111","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"Z. Manna","year":"2005","unstructured":"Manna, Z., et al.: Efficient Strongly Relational Polyhedral Analysis. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol.\u00a03855, pp. 111\u2013125. Springer, Heidelberg (2005)"},{"key":"17_CR21","unstructured":"Sipma, H., Sankaranarayanan, S., Manna, Z.: Lpinv: Linear programming invariant generator (2005)"},{"key":"17_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"S. Sankaranarayanan","year":"2005","unstructured":"Sankaranarayanan, S., Sipma, H., Manna, Z.: Scalable analysis of linear systems using mathematical programming. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71316-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T06:38:19Z","timestamp":1683959899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71316-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540713142","9783540713166"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71316-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}