{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T00:39:47Z","timestamp":1790987987985,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540212607","type":"print"},{"value":"9783540247388","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24738-8_18","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T08:22:23Z","timestamp":1294388543000},"page":"306-313","source":"Crossref","is-referenced-by-count":20,"title":["Static Analysis-Based Validation of Floating-Point Computations"],"prefix":"10.1007","author":[{"given":"Sylvie","family":"Putot","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Goubault","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthieu","family":"Martel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Comba, J.L.D., Stolfi, J.: Affine arithmetic and its applications to computer graphics. In: SIBGRAPI 1993, Recife, PE (Brazil), October 20-22 (1993)"},{"issue":"4","key":"18_CR2","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. Journal of Logic and Symbolic Computation\u00a02(4), 511\u2013547 (1992)","journal-title":"Journal of Logic and Symbolic Computation"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Static Analysis","author":"E. Goubault","year":"2001","unstructured":"Goubault, E.: Static analyses of the precision of floating-point operations. In: Cousot, P. (ed.) SAS 2001. LNCS, vol.\u00a02126, Springer, Heidelberg (2001)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-45927-8_15","volume-title":"Programming Languages and Systems","author":"E. Goubault","year":"2002","unstructured":"Goubault, E., Martel, M., Putot, S.: Asserting the precision of floating-point computations : a simple abstract interpreter. In: Le M\u00e9tayer, D. (ed.) ESOP 2002. LNCS, vol.\u00a02305, pp. 209\u2013212. Springer, Heidelberg (2002)"},{"key":"18_CR5","unstructured":"Hanrot, G., Lefevre, V., Rouillier, F., Zimmermann, P.: MPFR library. INRIA (2001)"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45927-8_14","volume-title":"Programming Languages and Systems","author":"M. Martel","year":"2002","unstructured":"Martel, M.: Propagation of roundoff errors in finite precision computations : a semantics approach. In: Le M\u00e9tayer, D. (ed.) ESOP 2002. LNCS, vol.\u00a02305, Springer, Heidelberg (2002)"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45789-5_12","volume-title":"Static Analysis","author":"M. Martel","year":"2002","unstructured":"Martel, M.: Static Analysis of the Numerical Stability of Loops. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, Springer, Heidelberg (2002)"},{"key":"18_CR8","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1963","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1963)"}],"container-title":["Lecture Notes in Computer Science","Numerical Software with Result Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24738-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T04:50:15Z","timestamp":1553316615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24738-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212607","9783540247388"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24738-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}