{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T10:34:29Z","timestamp":1725878069406},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319522333"},{"type":"electronic","value":"9783319522340"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-52234-0_13","type":"book-chapter","created":{"date-parts":[[2017,1,11]],"date-time":"2017-01-11T04:52:06Z","timestamp":1484110326000},"page":"228-245","source":"Crossref","is-referenced-by-count":0,"title":["Stabilizing Floating-Point Programs Using Provenance Analysis"],"prefix":"10.1007","author":[{"given":"Yijia","family":"Gu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Wahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,12]]},"reference":[{"key":"13_CR1","unstructured":"IEEE Standards Association. IEEE standard for floating-point arithmetic (2008). http:\/\/grouper.ieee.org\/groups\/754\/"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Boldo, S., Jourdan, J.-H., Leroy, X., Melquiond, G.: A formally-verified C compiler supporting floating-point arithmetic. In: 21st IEEE Symposium on Computer Arithmetic (ARITH), pp. 107\u2013115. IEEE (2013)","DOI":"10.1109\/ARITH.2013.30"},{"key":"13_CR3","unstructured":"Boldo, S., Nguyen, T.M.T.: Hardware-independent proofs of numerical programs. In: Mu\u00f1oz, C. (ed.) Second NASA Formal Methods Symposium (NFM 2010), vol. NASA\/CP-2010-216215, pp. 14\u201323. NASA, Washington D.C., April 2010"},{"key":"13_CR4","unstructured":"Burden, R.L., Faires, J.D.: Numerical analysis. Cengage Learning (2010)"},{"key":"13_CR5","unstructured":"Corden, M.J., Kreitzer, D.: Consistency of floating-point results using the Intel $$\\textregistered $$ compiler or why doesn\u2019t my application always give the same answer? (2010). http:\/\/software.intel.com\/sites\/default\/files\/article\/164389\/fp-consistency-102511.pdf"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1979, pp. 269\u2013282. ACM, New York (1979)","DOI":"10.1145\/567752.567778"},{"key":"13_CR7","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/2076021.2048094","volume":"46","author":"E Darulova","year":"2011","unstructured":"Darulova, E., Kuncak, V.: Trustworthy numerical computation in Scala. ACM Sigplan Not. 46, 325\u2013344 (2011). ACM","journal-title":"ACM Sigplan Not."},{"key":"13_CR8","unstructured":"de Dinechin, F.: Computing with floating point. http:\/\/lyoncalcul.univ-lyon1.fr\/IMG\/pdf\/FloatingPoint.pdf"},{"key":"13_CR9","unstructured":"Fulgham, B., Gouy, I.: The Computer Language Benchmarks Game (2010). http:\/\/shootout.alioth.debian.org"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-540-24738-8_18","volume-title":"Numerical Software with Result Verification","author":"S Putot","year":"2004","unstructured":"Putot, S., Goubault, E., Martel, M.: Static analysis-based validation of floating-point computations. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Num. Software with Result Verification. LNCS, vol. 2991, pp. 306\u2013313. Springer, Berlin (2004). doi: 10.1007\/978-3-540-24738-8_18"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/3-540-47764-0_14","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. 2126, pp. 234\u2013259. Springer, Berlin (2001). doi: 10.1007\/3-540-47764-0_14"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-642-18275-4_17","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"E Goubault","year":"2011","unstructured":"Goubault, E., Putot, S.: Static analysis of finite precision computations. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 232\u2013247. Springer, Berlin (2011). doi: 10.1007\/978-3-642-18275-4_17"},{"key":"13_CR13","unstructured":"Granlund, T., and the GMP development team: GNU MP: The GNU Multiple Precision Arithmetic Library, 6.1.1 edn. (2016). http:\/\/gmplib.org\/"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1007\/978-3-662-48096-0_43","volume-title":"Euro-Par 2015: Parallel Processing","author":"Y Gu","year":"2015","unstructured":"Gu, Y., Wahl, T., Bayati, M., Leeser, M.: Behavioral non-portability in scientific numeric computing. In: Tr\u00e4ff, J.L., Hunold, S., Versaci, F. (eds.) Euro-Par 2015. LNCS, vol. 9233, pp. 558\u2013569. Springer, Berlin (2015). doi: 10.1007\/978-3-662-48096-0_43"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Martel, M., Cea Recherche Technologique: Semantics of roundoff error propagation in finite precision computations. J. High. Order Symbolic Comput. 19, 7\u201330 (2006)","DOI":"10.1007\/s10990-006-8608-2"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Meng, Q., Humphrey, A., Schmidt, J., Berzins, M.: Preliminary experiences with the Uintah framework on Intel Xeon Phi and stampede. In: Proceedings of the Conference on Extreme Science and Engineering Discovery Environment: Gateway to Discovery, p. 48. ACM (2013)","DOI":"10.1145\/2484762.2484779"},{"key":"13_CR17","volume-title":"An Introduction to Multivariable Analysis from Vector to Manifold","author":"P Mikusinski","year":"2012","unstructured":"Mikusinski, P., Taylor, M.: An Introduction to Multivariable Analysis from Vector to Manifold. Springer Science & Business Media, New York (2012)"},{"issue":"1","key":"13_CR18","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10990-006-8609-1","volume":"19","author":"A Min\u00e9","year":"2006","unstructured":"Min\u00e9, A.: The octagon abstract domain. High. Order Symbol. Comput. 19(1), 31\u2013100 (2006)","journal-title":"High. Order Symbol. Comput."},{"key":"13_CR19","unstructured":"Pozo, R., Miller, B.: SciMark 2.0, December 2002. http:\/\/math.nist.gov\/scimark2\/"},{"issue":"3","key":"13_CR20","first-page":"297","volume":"4","author":"J Stolfi","year":"2003","unstructured":"Stolfi, J., De Figueiredo, L.H.: An introduction to affine arithmetic. Trends Appl. Comput. Math. 4(3), 297\u2013312 (2003)","journal-title":"Trends Appl. Comput. Math."},{"key":"13_CR21","unstructured":"Tuyen, N.T.M., March\u00e9, C.: Proving floating-point numerical programs by analysis of their assembly code. Research Report RR-7655, INRIA, June 2011"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-52234-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T07:53:54Z","timestamp":1498377234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-52234-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319522333","9783319522340"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-52234-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}