{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T04:14:34Z","timestamp":1752984874127,"version":"3.37.3"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2020,11,9]],"date-time":"2020-11-09T00:00:00Z","timestamp":1604880000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,9]],"date-time":"2020-11-09T00:00:00Z","timestamp":1604880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"National Natural Science Foundation of China \u2014 Precision analysis and optimization of basic mathematical functions on domestic processors","award":["61802434"],"award-info":[{"award-number":["61802434"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s11227-020-03469-7","type":"journal-article","created":{"date-parts":[[2020,11,9]],"date-time":"2020-11-09T10:06:01Z","timestamp":1604916361000},"page":"5492-5509","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Error detection of arithmetic expressions"],"prefix":"10.1007","volume":"77","author":[{"given":"Yuanyuan","family":"Xia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaozhong","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiangwei","family":"Hao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6275-2617","authenticated-orcid":false,"given":"Jinchen","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,9]]},"reference":[{"key":"3469_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89960-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2018. Lecture Notes in Computer Science","author":"E Darulova","year":"2018","unstructured":"Darulova E, Izycheva A, Nasir F, Ritter F, Becker H, Bastian R (2018) Daisy\u2014framework for analysis and optimization of numerical programs (tool paper). In: Beyer D, Huisman M (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2018. Lecture Notes in Computer Science, vol 10805. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-319-89960-2_15"},{"key":"3469_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38856-9_1","volume-title":"Static Analysis. SAS 2013. Lecture Notes in Computer Science","author":"E Goubault","year":"2013","unstructured":"Goubault E (2013) Static analysis by abstract interpretation of numerical programs and systems, and FLUCTUAT. In: Logozzo F, F\u00e4hndrich M (eds) Static Analysis. SAS 2013. Lecture Notes in Computer Science. https:\/\/doi.org\/10.1007\/978-3-642-38856-9_1"},{"issue":"2","key":"3469_CR3","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1109\/TC.2010.128","volume":"60","author":"F de Dinechin","year":"2011","unstructured":"de Dinechin F, Lauter C, Melquiond G (2011) Certifying the floating-point implementation of an elementary function using Gappa. IEEE Trans Comput 60(2):242\u2013253. https:\/\/doi.org\/10.1109\/TC.2010.128","journal-title":"IEEE Trans Comput"},{"issue":"2","key":"3469_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3014426","volume":"39","author":"E Darulova","year":"2017","unstructured":"Darulova E, Kuncak V (2017) Towards a compiler for reals. ACM Trans Program Lang Syst 39(2):1\u201328. https:\/\/doi.org\/10.1145\/3014426","journal-title":"ACM Trans Program Lang Syst"},{"key":"3469_CR5","doi-asserted-by":"publisher","DOI":"10.1145\/3230733","volume-title":"FM 2015: Formal Methods. FM 2015. Lecture Notes in Computer Science","author":"A Solovyev","year":"2015","unstructured":"Solovyev A, Jacobsen C, Rakamari\u0107 Z, Gopalakrishnan G (2015) Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. In: Bj\u00f8rner N, de Boer F (eds) FM 2015: Formal Methods. FM 2015. Lecture Notes in Computer Science, vol 9109. Springer, Cham. https:\/\/doi.org\/10.1145\/3230733"},{"issue":"2","key":"3469_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/3381039","volume":"53","author":"S Cherubin","year":"2020","unstructured":"Cherubin S, Agosta G (2020) Tools for reduced precision computation: a survey. ACM Comput Surv 53(2):35. https:\/\/doi.org\/10.1145\/3381039 (Article 33)","journal-title":"ACM Comput Surv"},{"key":"3469_CR7","doi-asserted-by":"publisher","unstructured":"Alex S, Pavel P, Sorin L, Zachary T (2018) Finding root causes of floating point error. In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018). Association for Computing Machinery, New York, NY, USA, vol 53. pp 256\u2013269. https:\/\/doi.org\/10.1145\/3296979.3192411","DOI":"10.1145\/3296979.3192411"},{"key":"3469_CR8","doi-asserted-by":"publisher","unstructured":"Florian B, Andreas H, Sebastian H (2012) A dynamic program analysis to find floating-point accuracy problems. In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI \u201912). Association for Computing Machinery, New York, NY, USA, vol 47. pp 453\u2013462 https:\/\/doi.org\/10.1145\/2254064.2254118","DOI":"10.1145\/2254064.2254118"},{"key":"3469_CR9","doi-asserted-by":"publisher","unstructured":"Eric S, Rahul S, Alex A (2014) Stochastic optimization of floating-point programs with tunable precision. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI \u201914). Association for Computing Machinery, New York, NY, USA, vol 49. pp 53\u201364. https:\/\/doi.org\/10.1145\/2666356.2594302","DOI":"10.1145\/2666356.2594302"},{"key":"3469_CR10","doi-asserted-by":"publisher","unstructured":"Michael OL, Barry LR (2016) Floating-point shadow value analysis. In: Proceedings of the 5th Workshop on Extreme-Scale Programming Tools (ESPT \u201916). IEEE Press, pp 18\u201325. https:\/\/doi.org\/10.1109\/ESPT.2016.007","DOI":"10.1109\/ESPT.2016.007"},{"key":"3469_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-319-63501-9_5","volume-title":"Numerical Software Verification. NSV 2017. Lecture Notes in Computer Science","author":"F F\u00e9votte","year":"2017","unstructured":"F\u00e9votte F, Lathuili\u00e8re B (2017) Studying the numerical quality of an industrial computing code: a case study on Code\\_aster. In: Abate A, Boldo S (eds) Numerical Software Verification. NSV 2017. Lecture Notes in Computer Science, vol 10381. Springer, Cham, pp 61\u201380. https:\/\/doi.org\/10.1007\/978-3-319-63501-9_5"},{"key":"3469_CR12","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-319-54292-8_6","volume":"10152","author":"N Damouche","year":"2017","unstructured":"Damouche N, Martel M, Panchekha P, Qiu C, Sanchez-Stern A, Tatlock Z (2017) Toward a standard benchmark format and suite for floating-point analysis. Lect Notes Comput Sci 10152:63\u201377. https:\/\/doi.org\/10.1007\/978-3-319-54292-8_6","journal-title":"Lect Notes Comput Sci"},{"key":"3469_CR13","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1236463.1236468","volume":"33","author":"F Laurent","year":"2007","unstructured":"Laurent F, Guillaume H, Vincent L, Patrick P, Paul Z (2007) MPFR: A multiple-precision binary floating-point library with correct rounding. ACM Trans Math Softw 33:13. https:\/\/doi.org\/10.1145\/1236463.1236468","journal-title":"ACM Trans Math Softw"},{"key":"3469_CR14","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/1273442.1250746","volume":"42","author":"N Nicholas","year":"2007","unstructured":"Nicholas N, Julian S (2007) Valgrind: A framework for heavyweight dynamic binary instrumentation. Sigplan Not SIGPLAN 42:89\u2013100. https:\/\/doi.org\/10.1145\/1273442.1250746","journal-title":"Sigplan Not SIGPLAN"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-020-03469-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-020-03469-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-020-03469-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T11:46:51Z","timestamp":1620733611000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-020-03469-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,9]]},"references-count":14,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["3469"],"URL":"https:\/\/doi.org\/10.1007\/s11227-020-03469-7","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[2020,11,9]]},"assertion":[{"value":"18 October 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 November 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}