{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,15]],"date-time":"2025-04-15T16:58:36Z","timestamp":1744736316405},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433637"},{"type":"electronic","value":"9783540459279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45927-8_14","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T09:39:04Z","timestamp":1192786744000},"page":"194-208","source":"Crossref","is-referenced-by-count":17,"title":["Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach"],"prefix":"10.1007","author":[{"given":"Matthieu","family":"Martel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"F. Chaitin-Chatelin and V. Frayss\u00e9. Lectures on Finite Precision Computations. SIAM, 1996.","DOI":"10.1137\/1.9780898719673"},{"key":"14_CR2","unstructured":"F. Chaitin-Chatelin and E. Traviesas. Precise, a toolbox for assessing the quality of numerical methods and software. In IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics, 2000."},{"key":"14_CR3","first-page":"238","volume":"4","author":"P. Cousot","year":"1977","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points. Principles of Programming Languages 4, pages 238\u2013252, 1977.","journal-title":"Principles of Programming Languages"},{"issue":"4","key":"14_CR4","doi-asserted-by":"crossref","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 Symbolic Computation, 2(4):511\u2013547, 1992.","journal-title":"Journal of Logic and Symbolic Computation"},{"key":"14_CR5","unstructured":"M. Daumas and J. M. Muller, editors. Qualit\u00e9 des Calculs sur Ordinateur. Masson, 1997."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"D. Goldberg. What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 23(1), 1991.","DOI":"10.1145\/103162.103163"},{"key":"14_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Static analyses of the precision of floating-point operations","author":"E. Goubault","year":"2001","unstructured":"E. Goubault. Static analyses of the precision of floating-point operations. In Static Analysis Symposium, SAS\u201901, number 2126 in LNCS. Springer-Verlag, 2001."},{"key":"14_CR8","unstructured":"E. Goubault, M. Martel, and S. Putot. Concrete and abstract semantics of fp operations. Technical Report DRT\/LIST\/DTSI\/SLA\/LSL\/01-058, CEA, 2001."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"E. Goubault, M. Martel, and S. Putot. Asserting the precision of floating-point computations: a simple abstract interpreter. In ESOP\u201902, 2002.","DOI":"10.1007\/3-540-45927-8_15"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"J. R. Hauser. Handling floating-point exceptions in numeric programs. ACM Transactions on Programming Languages and Systems, 18(2), 1996.","DOI":"10.1145\/227699.227701"},{"key":"14_CR11","unstructured":"W. Kahan. The improbability of probabilistic error analyses for numerical computations. Technical report, Berkeley University, 1991."},{"key":"14_CR12","unstructured":"W. Kahan. Lecture notes on the status of IEEE standard 754 for binary floatingpoint arithmetic. Technical report, Berkeley University, 1996."},{"key":"14_CR13","unstructured":"D. Knuth. The Art of Computer Programming-Seminumerical Algorithms. Addison Wesley, 1973."},{"key":"14_CR14","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_CR15","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_CR16","unstructured":"M. Pichat and J. Vignes. The numerical study of unstable fixed points in a chaotic dynamical system. In IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics,, volume 2, 1997."},{"key":"14_CR17","unstructured":"J. Vignes. A survey of the CESTAC method. In Proceedings of Real Numbers and Computer Conference, 1996."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45927-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T21:29:01Z","timestamp":1556918941000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45927-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433637","9783540459279"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45927-8_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}