{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,18]],"date-time":"2026-09-18T04:02:54Z","timestamp":1789704174831,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":61,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540423140","type":"print"},{"value":"9783540477648","type":"electronic"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-47764-0_14","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T00:55:55Z","timestamp":1181609755000},"page":"234-259","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":46,"title":["Static Analyses of the Precision of Floating-Point Operations"],"prefix":"10.1007","author":[{"given":"Eric","family":"Goubault","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"14_CR1","unstructured":"Y. Ameur, P. Cros, J-J. Falcon, and A. Gomez. An application of abstract interpretation to floating-point arithmetic. In Proceedings of the Workshop on Static Analysis, 1992."},{"key":"14_CR2","unstructured":"A. Arnold. Sys\u00e8mes de transitions finis et s\u00e9mantique des processus communicants. Masson, 1992."},{"key":"14_CR3","volume-title":"Essentials of Pad\u00e9 approximants","author":"G. A. Baker","year":"1975","unstructured":"G. A. Baker. Essentials of Pad\u00e9 approximants. Academic Press, New York, 1975."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"J.-D. Boissonat, F. Cazals, F. Da, O. Devillers, S. Pion, F. Rebufat, M. Teillaud, and M. Yvinec. Programming with CGAL: The example of triangulations. In Proceedings of the Conference on Computational Geometry (SCG\u2019 99), pages 421\u2013422, New York, N.Y., June 13\u201316 1999. ACM Press.","DOI":"10.1145\/304893.305001"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"A. F. Beardon. Iteration of Rational Functions. Graduate Texts in Mathematics. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4612-4422-6"},{"key":"14_CR6","unstructured":"J. C. Bajard, D. Michelucci, J. M. Moreau, and J. M. Muller, editors. Real Numbers and Computers-Les Nombres r\u00e9els et l\u2019Ordinateur, 1995."},{"key":"14_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/BFb0024192","volume-title":"PLILP\u201990","author":"F. Bourdoncle","year":"1990","unstructured":"F. Bourdoncle. Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity. In PLILP\u201990, volume 456 of LNCS, pages 307\u2013323. Springer-Verlag, 1990."},{"issue":"4","key":"14_CR8","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1017\/S0956796800000496","volume":"2","author":"F. Bourdoncle","year":"1992","unstructured":"F. Bourdoncle. Abstract interpretation by dynamic partitioning. Journal of Functional Programming, 2(4):407\u2013435, 1992.","journal-title":"Journal of Functional Programming"},{"key":"14_CR9","unstructured":"F. Bourdoncle. Efficient chaotic iteration strategies with widenings. Lecture Notes in Computer Science, 735, 1993."},{"issue":"4","key":"14_CR10","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511\u2013547, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"14_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-55844-6_142","volume-title":"Proceedings of the International Workshop Programming Language Implementation and Logic Programming, PLILP\u2019 92","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation, invited paper. In M. Bruynooghe and M. Wirsing, editors, Proceedings of the International Workshop Programming Language Implementation and Logic Programming, PLILP\u2019 92,, Leuven, Belgium, 13\u201317 August 1992, Lecture Notes in Computer Science 631, pages 269\u2013295. Springer-Verlag, Berlin, Germany, 1992."},{"key":"14_CR12","unstructured":"F. Chaitin-Chatelin. Le calcul sur ordinateur \u00e0 pr\u00e9cision finie, th\u00e9orie et \u00e9tat de l\u2019art. Technical Report TR\/PA\/94\/05, CERFACS, 1994."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"F. Chaitin-Chatelin and V. Frayss. Lectures on Finite Precision Computations. SIAM, 1996.","DOI":"10.1137\/1.9780898719673"},{"key":"14_CR14","unstructured":"F. Chaitin-Chatelin and E. Traviesas. Precise, a toolbox for assessing the quality of numerical methods and software. In 16th IMACS World Congress, 2000."},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/512760.512770","volume-title":"Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1978","unstructured":"P. Cousot and N. Halbwachs. 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, pages 84\u201397, Tucson, Arizona, 1978. ACM Press, New York, NY."},{"key":"14_CR16","series-title":"Habilitation diriger des recherches","volume-title":"L\u2019Arithm\u00e9tique Stochastique et le Logiciel C ADN A","author":"J. M. Chesneaux","year":"1995","unstructured":"J. M. Chesneaux. L\u2019Arithm\u00e9tique Stochastique et le Logiciel C ADN A Habilitation diriger des recherches, Universit\u00e9 Pierre et Marie Curie, Paris, France, November 1995."},{"key":"14_CR17","volume-title":"Software for Numerical Mathematics","author":"C. W. Clenshaw","year":"1974","unstructured":"C. W. Clenshaw. Rational approximations for special functions. In D. J. Evans, editor, Software for Numerical Mathematics. Academic Press, New York, 1974."},{"issue":"1","key":"14_CR18","first-page":"855","volume":"307","author":"J. M. Chesneaux","year":"1988","unstructured":"J. M. Chesneaux and J. Vignes. Sur la robustesse de la m\u00e9thode CESTAC. Comptes Rendus de l\u2019Acad\u00e9mie des Sciences, Paris, 307(1):855\u2013860, 1988.","journal-title":"Comptes Rendus de l\u2019Acad\u00e9mie des Sciences, Paris"},{"issue":"315","key":"14_CR19","first-page":"1435","volume":"1","author":"J. M. Chesneaux","year":"1992","unstructured":"J. M. Chesneaux and J. Vignes. Les fondements de l\u2019arithm\u00e9tique stochastique. Comptes-Rendus de l\u2019Acad\u00e9mie des Sciences, Paris, 1(315):1435\u20131440, 1992.","journal-title":"Comptes-Rendus de l\u2019Acad\u00e9mie des Sciences, Paris"},{"key":"14_CR20","unstructured":"M. Daumas and J. M. Muller, editors. Qualit\u00e9 des Calculs sur Ordinateur. Masson, 1997."},{"issue":"4","key":"14_CR21","doi-asserted-by":"publisher","first-page":"401","DOI":"10.2307\/421098","volume":"3","author":"A. Edalat","year":"1997","unstructured":"A. Edalat. Domains for Computation in Mathematics, Physics and Exact Real Arithmetic. Bulletin of Symbolic Logic, 3(4):401\u2013452, 1997.","journal-title":"Bulletin of Symbolic Logic"},{"key":"14_CR22","unstructured":"A. Edalat and P. J. Potts. Exact real computer arithmetic. Technical report, Department of Computing Technical Report DOC 97\/9, Imperial College, 1997."},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0304-3975(98)00097-8","volume":"210","author":"A. Edalat","year":"1998","unstructured":"A. Edalat and P. Snderhauf. A Domain-theoretic Approach to Real Number Computation. Theoretical Computer Science, 210:73\u201398, 1998.","journal-title":"Theoretical Computer Science"},{"key":"14_CR24","unstructured":"E. Goubault, D. Guilbaud, A. Pacalet, B. Starynk\u00e9vitch, and F. V\u00e9drine. A simple abstract interpreter for threat detection and test case generation. In Proceedings of WAPATV\u201901 (ICSE\u201901), May 2001."},{"issue":"4","key":"14_CR25","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1145\/321607.321610","volume":"17","author":"D. I. Good","year":"1970","unstructured":"D. I. Good and R. L. London. Computer interval arithmetic: Definition and proof of correct implementation. Journal of the Association for Computing Machinery, 17(4):603\u2013612, October 1970.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"D. Goldberg. What every computer-scientist should know about computer arithmetic. Computing Surveys, 1991.","DOI":"10.1145\/103162.103163"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"P. Granger. Improving the results of static analyses of programs by local decreasing iterations. Lecture Notes in Computer Science, 652, 1992.","DOI":"10.1007\/3-540-56287-7_95"},{"key":"14_CR28","unstructured":"A. Griewank. Evaluating Derivatives, Principles and Techniques of Algorithmic Differentiation. SIAM, 2000."},{"key":"14_CR29","volume-title":"Computer Approximations","author":"J. F. Hart","year":"1968","unstructured":"J. F. Hart, E. W. Cheney, L. Lawson, H. J. Maehly, C.K. Mesztenyi, J. R. Rice, H. G. Thacher, and C. Witzgall. Computer Approximations. Wiley, New York, 1968."},{"key":"14_CR30","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"N. J. Higham","year":"1996","unstructured":"N. J. Higham. Accuracy and Stability of Numerical Algorithms. SIAM, Philadelphia, 1996."},{"key":"14_CR31","unstructured":"W. Kahan. The improbability of probabilistic error analyses for numerical computations. Technical report, University of Berkeley, 1991."},{"key":"14_CR32","unstructured":"W. Kahan. Lecture notes on the status of IEEE standard 754 for binary floating-point arithmetic. Technical report, Berkeley University, 1996."},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"M. Karr. Affine relationships between variables of a program. Acta Informatica, (6):133\u2013151, 1976.","DOI":"10.1007\/BF00268497"},{"key":"14_CR34","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1109\/ARITH.1993.378088","volume-title":"Proceedings of the 11th IEEE Symposium on Computer Arithmetic","author":"W. Krandick","year":"1993","unstructured":"W. Krandick and J. R. Johnson. Efficient multiprecision floating point multiplication with optimal directional rounding. In E. E. Swartzlander, M. J. Irwin, and J. Jullien, editors, Proceedings of the 11th IEEE Symposium on Computer Arithmetic, pages 228\u2013233, Windsor, Canada, June 1993. IEEE Computer Society Press, Los Alamitos, CA."},{"key":"14_CR35","unstructured":"S. Kla. Calcul parall\u00e8le et en ligne des fonctions arithm\u00e9tiques. PhD thesis, Ecole Normale Sup\u00e9rieure de Lyon, 46 All\u00e9e d\u2019Italie, 69364 Lyon Cedex 07, France, February 1993."},{"key":"14_CR36","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1109\/TC.1983.1676239","volume":"C-32","author":"P. Kornerup","year":"1983","unstructured":"P. Kornerup and D. W. Matula. Finite-precision rational arithmetic: an arithmetic unit. IEEE Transactions on Computers, C-32:378\u2013388, 1983.","journal-title":"IEEE Transactions on Computers"},{"key":"14_CR37","volume-title":"Proceedings of the 7th IEEE Symposium on Computer Arithmetic","author":"P. Kornerup","year":"1985","unstructured":"P. Kornerup and D. W. Matula. Finite precision lexicographic continued fraction number systems. In Proceedings of the 7th IEEE Symposium on Computer Arithmetic, Urbana, USA, 1985. IEEE Computer Society Press, Los Alamitos, CA. Reprinted in E. E. Swartzlander, Computer Arithmetic, Vol. 2, IEEE Computer Society Press Tutorial, Los Alamitos, CA, 1990."},{"key":"14_CR38","doi-asserted-by":"crossref","unstructured":"P. Kornerup and D. W. Matula. An on-line arithmetic unit for bit-ipelined rational arithmetic. Journal of Parallel and distributed Computing, Special Issue on Parallelism in Computer Arithmetic(5), 1988.","DOI":"10.1016\/0743-7315(88)90023-8"},{"key":"14_CR39","volume-title":"The Art of Computer Programming","author":"D. Knuth","year":"1973","unstructured":"D. Knuth. The Art of Computer Programming, volume 2. Addison Wesley, Reading, MA, 1973."},{"key":"14_CR40","doi-asserted-by":"crossref","unstructured":"V. Lefevre, J.M. Muller, and A. Tisserand. Toward correctly rounded transcendentals. IEEE Transactions on Computers, 47(11), 1998.","DOI":"10.1109\/12.736435"},{"key":"14_CR41","unstructured":"P. Langlois and F. Nativel. Improving automatic reduction of round-off errors. In IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics, volume 2, 1997."},{"key":"14_CR42","unstructured":"M. Martel. Semantics of floating point operations with error understanding. Technical report, CEA, submitted, May 2001."},{"key":"14_CR43","series-title":"Lect Notes Comput Sci","volume-title":"Seventh International Static Analysis Symposium (SAS\u201900)","author":"D. Monniaux","year":"2000","unstructured":"D. Monniaux. Abstract interpretation of probabilistic semantics. In Seventh International Static Analysis Symposium (SAS\u201900), number 1824 in Lecture Notes in Computer Science. Springer-Verlag, 2000."},{"key":"14_CR44","doi-asserted-by":"crossref","unstructured":"D. Monniaux. An abstract Monte-Carlo method for the analysis of probabilistic programs (extended abstract). In 28th Symposium on Principles of Programming Languages (POPL\u2019 01). Association for Computer Machinery, 2001.","DOI":"10.1145\/360204.360211"},{"key":"14_CR45","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis","author":"R. E. Moore","year":"1979","unstructured":"R. E. Moore. Methods and Applications of Interval Analysis. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 1979."},{"key":"14_CR46","doi-asserted-by":"crossref","unstructured":"P. J. Potts and A. Edalat. A new representation of exact real numbers. Electronic Notes in Computer Science, 6, 1998.","DOI":"10.1016\/S1571-0661(05)80166-5"},{"key":"14_CR47","unstructured":"P. J. Potts, A. Edalat, and H. M. Escard\u00f3. Semantics of exact real arithmetic. In Procs of Logic in Computer Science. IEEE Computer Society Press, 1997."},{"key":"14_CR48","volume-title":"Technical Report DAIMI FN-19","author":"G. Plotkin","year":"1981","unstructured":"G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus, 1981."},{"key":"14_CR49","unstructured":"M. La Porte and J. Vignes. Error analysis in computing. In Information Processing 74 North-Holland, 1974."},{"key":"14_CR50","unstructured":"N. Regal. Petite analyse en nombres flottants. Technical Report DTA\/LETI\/DEIN\/SLA\/99-055, CEA, 1999."},{"key":"14_CR51","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1109\/TC.1973.5009106","volume":"C-22","author":"J. E. Robertson","year":"1973","unstructured":"J. E. Robertson and K. S. Trivedi. The status of investigations into computer hardware design based on the use of continued fractions. IEEE Transactions on Computers, C-22:555\u2013560, 1973.","journal-title":"IEEE Transactions on Computers"},{"key":"14_CR52","doi-asserted-by":"crossref","unstructured":"C. W. Schelin. Calculator function approximation. American Mathematical Monthly, 90(5), May 1983.","DOI":"10.2307\/2975781"},{"key":"14_CR53","doi-asserted-by":"publisher","first-page":"1049","DOI":"10.1109\/12.30856","volume":"38","author":"M. Scott","year":"1989","unstructured":"M. Scott. Fast rounding in multiprecision floating-slash arithmetic. IEEE Transactions on Computers, 38:1049\u20131052, 1989.","journal-title":"IEEE Transactions on Computers"},{"key":"14_CR54","volume-title":"Proceedings of the 6th IEEE Symposium on Com-puter Arithmetic","author":"R. B. Seidensticker","year":"1983","unstructured":"R. B. Seidensticker. Continued fractions for high-speed and high-accuracy computer arithmetic. In Proceedings of the 6th IEEE Symposium on Com-puter Arithmetic, Aarhus, Denmark, 1983. IEEE Computer Society Press, Los Alamitos, CA."},{"key":"14_CR55","series-title":"Lect Notes Comput Sci","volume-title":"Accurate Scientific Computations","author":"J. Vignes","year":"1985","unstructured":"J. Vignes and R. Alt. An efficient stochastic method for round-off error analysis. In Miranker Willard and Toupin, editors, Accurate Scientific Computations, Lecture notes in Computer Science 235. Springer-Verlag, 1985."},{"key":"14_CR56","unstructured":"M. Vincius, A. Andrade, J. L. D. Comba, and J. Stolfi. Affine arithmetic. In INTERVAL March 1994."},{"key":"14_CR57","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0378-4754(78)90016-2","volume":"20","author":"J. Vignes","year":"1978","unstructured":"J. Vignes. New methods for evaluating the validity of mathematical software. Math. Simul. IMACS, 20:227\u2013249, 1978.","journal-title":"Math. Simul. IMACS"},{"key":"14_CR58","first-page":"3","volume":"54","author":"J. Vignes","year":"1987","unstructured":"J. Vignes. Controle et estimation stochastique des arrondis de calcul. AFCET Interfaces, 54:3\u201310, 1987.","journal-title":"AFCET Interfaces"},{"key":"14_CR59","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/0378-4754(93)90003-D","volume":"35","author":"J. Vignes","year":"1993","unstructured":"J. Vignes. A stochastic arithmetic for reliable scientific computation. Math. Comp. Simul., 35:233\u2013261, 1993.","journal-title":"Math. Comp. Simul."},{"key":"14_CR60","unstructured":"J. Vignes. A survey of the CESTAC method. In Proceedings of Real Numbers and Computer Conference, 1996."},{"key":"14_CR61","doi-asserted-by":"crossref","unstructured":"J. E. Vuillemin. Exact real computer arithmetic with continued fractions. IEEE Transactions on Computers, 39(8), 1990.","DOI":"10.1109\/12.57047"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47764-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:31:37Z","timestamp":1558258297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47764-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423140","9783540477648"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/3-540-47764-0_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"4 July 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}