{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T14:22:00Z","timestamp":1790432520420,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540740605","type":"print"},{"value":"9783540740612","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74061-2_9","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T15:39:13Z","timestamp":1187710753000},"page":"137-152","source":"Crossref","is-referenced-by-count":13,"title":["Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic"],"prefix":"10.1007","author":[{"given":"Eric","family":"Goubault","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Chapoutot, A., Martel, M.: Diff\u00e9rentiation automatique et formes de Taylor en analyse statique de programmes num\u00e9riques (in French). In: AFADL 2007 (2007)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"A. Costan","year":"2005","unstructured":"Costan, A., Gaubert, S., Goubault, E., Martel, M., Putot, S.: 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, Springer, Heidelberg (2005)"},{"key":"9_CR3","first-page":"238","volume":"4","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points. Principles of Programming Languages\u00a04, 238\u2013252 (1977)","journal-title":"Principles of Programming Languages"},{"issue":"4","key":"9_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":"9_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: POPL 1978, pp. 84\u201397 (1978)","DOI":"10.1145\/512760.512770"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/244795.244800","volume":"19","author":"D. Dams","year":"1997","unstructured":"Dams, D., Gerth, R., Grumberg, O.: Abstract interpretation of reactive systems. ACM Trans. Prog. Lang. Systems\u00a019, 253\u2013291 (1997)","journal-title":"ACM Trans. Prog. Lang. Systems"},{"key":"9_CR7","unstructured":"Goldsztejn, A.: Modal intervals revisited. Reliable Computing (submitted)"},{"key":"9_CR8","unstructured":"Goldsztejn, A., Daney, D., Rueher, M., Taillibert, P.: Modal intervals revisited: a mean-value extension to generalized intervals. In: QCP 2005 (2005)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/11823230_3","volume-title":"Static Analysis","author":"E. Goubault","year":"2006","unstructured":"Goubault, E., Putot, S.: Static analysis of numerical algorithms. In: Yi, K. (ed.) SAS 2006. LNCS, vol.\u00a04134, pp. 18\u201334. Springer, Heidelberg (2006)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Grumberg, O., Lerda, F., Strichman, O., Theobald, M.: Proof-guided underapproximation-widening for multi-process systems. In: POPL (2005)","DOI":"10.1145\/1040305.1040316"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-7091-8577-3_3","volume":"2","author":"E.W. Kaucher","year":"1980","unstructured":"Kaucher, E.W.: Interval analysis in the extended interval space IR. Computing (Supplementum) 2, 33\u201349 (1980)","journal-title":"Computing (Supplementum)"},{"key":"9_CR12","unstructured":"Kaucher, E.W.: Uber metrische und algebraische eigenshaften einiger beim numerischen rechnen auftretender raume, PhD thesis, Karlsruhe (1973)"},{"key":"9_CR13","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":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/11513988_7","volume-title":"Computer Aided Verification","author":"C.S. Pasareanu","year":"2005","unstructured":"Pasareanu, C.S., Pel\u00e1nek, R., Visser, W.: Concrete model checking with abstract matching and refinement. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 52\u201366. Springer, Heidelberg (2005)"},{"issue":"1","key":"9_CR15","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.scico.2006.03.008","volume":"64","author":"D.A. Schmidt","year":"2007","unstructured":"Schmidt, D.A.: A calculus of logical relations for over- and underapproximating static analyses. Sci. Comput. Program\u00a064(1), 29\u201353 (2007)","journal-title":"Sci. Comput. Program"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/11823230_9","volume-title":"Static Analysis","author":"D.A. Schmidt","year":"2006","unstructured":"Schmidt, D.A.: Underapproximating predicate transformers. In: Yi, K. (ed.) SAS 2006. LNCS, vol.\u00a04134, pp. 127\u2013143. Springer, Heidelberg (2006)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Stolfi, J., de Figueiredo, L.H.: An introduction to affine arithmetic, TEMA (2003)","DOI":"10.5540\/tema.2003.04.03.0297"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74061-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:10:00Z","timestamp":1619518200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74061-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540740605","9783540740612"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74061-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}