{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:26:55Z","timestamp":1759332415001},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T00:00:00Z","timestamp":1688947200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T00:00:00Z","timestamp":1688947200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"Open Project Program of the State Key Laboratory of Mathematical Engineering and Advanced Computing","award":["2023B02","2023B02","2023B02","2023B02","2023B02","2023B02"],"award-info":[{"award-number":["2023B02","2023B02","2023B02","2023B02","2023B02","2023B02"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2024,1]]},"DOI":"10.1007\/s11227-023-05523-6","type":"journal-article","created":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T17:01:43Z","timestamp":1689008503000},"page":"1183-1205","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Hierarchical search algorithm for error detection in floating-point arithmetic expressions"],"prefix":"10.1007","volume":"80","author":[{"given":"Zuoyan","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinchen","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiangwei","family":"Hao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Qu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haotian","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bei","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,7,10]]},"reference":[{"key":"5523_CR1","first-page":"37","volume":"1983","author":"Q Kevin","year":"1983","unstructured":"Kevin Q (1983) Ever had problems rounding off figures. This stock exchange has. The Wall Street J 1983:37","journal-title":"The Wall Street J"},{"key":"5523_CR2","unstructured":"Jacques-Louis L, Lennart L, Jean-Luc F et al (1996) Ariane 5 flight 501 failure report by the inquiry board. European space agency Paris"},{"issue":"4","key":"5523_CR3","first-page":"11","volume":"25","author":"S Robert","year":"1992","unstructured":"Robert S (1992) Roundoff error and the Patriot missile. SIAM News 25(4):11","journal-title":"SIAM News"},{"key":"5523_CR4","doi-asserted-by":"publisher","first-page":"5492","DOI":"10.1007\/s11227-020-03469-7","volume":"77","author":"Y Xia","year":"2020","unstructured":"Xia Y, Guo S, Hao J, Liu D, Xu J (2020) Error detection of arithmetic expressions. J Supercomput 77:5492\u20135509. https:\/\/doi.org\/10.1007\/s11227-020-03469-7","journal-title":"J Supercomput"},{"key":"5523_CR5","doi-asserted-by":"publisher","unstructured":"Daming Z, MuHan Z, Yingfei X, Zhoulai F, Lu Z, Zhendong S (2019) Detecting floating-point errors via atomic conditions. In: Proceeding of the 47th ACM on Programming Languages (POPL 2020). Association for Computing Machinery, New York, NY, USA, vol 4, pp 1\u201327. https:\/\/doi.org\/10.1145\/3371128","DOI":"10.1145\/3371128"},{"key":"5523_CR6","doi-asserted-by":"publisher","unstructured":"Wei-fan C, Ganesh G, Zvonimir R, Alexey S (2014) Efficient search for inputs causing high floating-point errors. In: Proceeding of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2014). Association for Computing Machinery, New York, NY, USA, vol 49, pp 43\u201352. https:\/\/doi.org\/10.1145\/2692916.2555265","DOI":"10.1145\/2692916.2555265"},{"key":"5523_CR7","doi-asserted-by":"publisher","first-page":"6275","DOI":"10.1007\/s11227-018-2552-x","volume":"74","author":"H Qi","year":"2018","unstructured":"Qi H, Xu J, Guo S (2018) Detection of the maximum error of mathematical functions. J Supercomput 74:6275\u20136290. https:\/\/doi.org\/10.1007\/s11227-018-2552-x","journal-title":"J Supercomput"},{"key":"5523_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/103162.103163","volume":"23","author":"GD What","year":"1991","unstructured":"What GD, Arithmetic ECSSKAF (1991) ACM Comput Surv 23:5\u201348. https:\/\/doi.org\/10.1145\/103162.103163","journal-title":"ACM Comput Surv"},{"key":"5523_CR9","doi-asserted-by":"publisher","unstructured":"Xin Y, Liqian C, Xiaoguang M, Tao J (2019). In: Proceeding of the 46th ACM on Programming Languages (POPL 2019). Association for Computing Machinery, New York, NY, USA, vol 3, pp 1\u201329. https:\/\/doi.org\/10.1145\/3290369","DOI":"10.1145\/3290369"},{"key":"5523_CR10","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"},{"key":"5523_CR11","unstructured":"Daming Z, Ran W, Yingfei X, Lu Z, Zhendong S, Hong M (2015) A genetic algorithm for detecting significant floating-point inaccuracies. In: Proceeding of the 37th International Conference on Software Engineering (ICSE 2015). IEEE Press, vol 1, pp 529\u2013539"},{"key":"5523_CR12","doi-asserted-by":"publisher","unstructured":"Earl T. B, Thanh V, Vu L, Zhendong S (2013) Automatic detection of floating-point exceptions. In: Proceeding of the 40th ACM on programming languages (POPL 2013). Association for Computing Machinery, New York, NY, USA, vol 48, pp 549\u2013560. https:\/\/doi.org\/10.1145\/2429069.2429133","DOI":"10.1145\/2429069.2429133"},{"key":"5523_CR13","doi-asserted-by":"publisher","unstructured":"Florian B, Andreas H, Sebastian H (2012) A dynamic program analysis to find floating-point accuracy problems. In: Proceeding of the 23th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2012). 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":"5523_CR14","doi-asserted-by":"publisher","unstructured":"Al B, Ken B, Ben C, Andy C, Bryan F, Seth H, Charles H, Asya K, Scott M, Dawson E (2010) A few billion lines of code later: using static analysis to find bugs in the real world. In: Communications of the ACM. Association for Computing Machinery, New York, NY, USA, vol 53, pp 66\u201375. https:\/\/doi.org\/10.1145\/1646353.1646374","DOI":"10.1145\/1646353.1646374"},{"key":"5523_CR15","unstructured":"Francois F, Bruno L (2016) VERROU: a CESTAC evaluation without recompilation. In: 17th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN 2016)"},{"key":"5523_CR16","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\/3192366.3192411","DOI":"10.1145\/3192366.3192411"},{"key":"5523_CR17","doi-asserted-by":"publisher","unstructured":"Eric G, Sylvie P (2011) Static Analysis of Finite Precision Computations. In: Proceeding of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011). Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, vol 6538, pp 232\u2013247. https:\/\/doi.org\/10.1007\/978-3-642-18275-4_17","DOI":"10.1007\/978-3-642-18275-4_17"},{"key":"5523_CR18","doi-asserted-by":"publisher","unstructured":"Hui G, Cindy R (2020) Efficient generation of error-inducing floating-point inputs via symbolic execution. In: Proceedings of the ACM\/IEEE 42th International Conference on Software Engineering (ICSE 2020). Association for Computing Machinery, New York, NY, USA. pp 1261\u20131272. https:\/\/doi.org\/10.1145\/3377811.3380359","DOI":"10.1145\/3377811.3380359"},{"key":"5523_CR19","doi-asserted-by":"publisher","unstructured":"Pavel P, Alex S, James R, Zachary T (2015) Automatically improving accuracy for floating point expressions. In: Proceeding of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015). Association for Computing Machinery, New York, NY, USA, vol 50, pp 1\u201311. https:\/\/doi.org\/10.1145\/2737924.2737959","DOI":"10.1145\/2737924.2737959"},{"key":"5523_CR20","doi-asserted-by":"publisher","unstructured":"Daming Z, Yuchen G, Yuanfeng S, Mingzhe W, Yingfei X, Zhendong S (2023) Oracle-free repair synthesis for floating-point programs. In: Proceeding of the ACM on Programming Languages, vol 6, Issue OOPSLA2, Article No.: 159, pp 957\u2013985. https:\/\/doi.org\/10.1145\/3563322","DOI":"10.1145\/3563322"},{"key":"5523_CR21","doi-asserted-by":"publisher","unstructured":"Anastasiia I, Eva D (2017) On sound relative error bounds for floating-point arithmetic. In: Proceeding of the 17th Conference on Formal Methods in computer-Aided Design (FMCAD 2017). FMCAD Inc, Austin, Texas. pp 15\u201322. https:\/\/doi.org\/10.23919\/FMCAD.2017.8102236","DOI":"10.23919\/FMCAD.2017.8102236"},{"key":"5523_CR22","doi-asserted-by":"publisher","unstructured":"Patrick C, Radhia C (2014) Abstract interpretation: past, present and future. In: Proceeding of the Joint Meeting of the Twenty-third EACSL Annual Conference on Computer Science Logic and the Twenty-ninth Annual ACM\/IEEE Symposium on Logic in Computer Science (CSL-LICS 2014). Association for Computing Machinery, New York, NY, USA. pp 1\u201310. https:\/\/doi.org\/10.1145\/2603088.2603165","DOI":"10.1145\/2603088.2603165"},{"key":"5523_CR23","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1145\/502102.502106","volume":"48","author":"T Hickey","year":"2001","unstructured":"Hickey T, Ju Q, Van EMH (2001) Interval arithmetic: from principles to implementation. J ACM 48:1038\u20131068. https:\/\/doi.org\/10.1145\/502102.502106","journal-title":"J ACM"},{"key":"5523_CR24","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/B:NUMA.0000049462.70970.b6","volume":"37","author":"H Luiz","year":"2004","unstructured":"Luiz H, Jorge S (2004) Affine arithmetic: concepts and applications. Numer Algorithms 37:147\u2013158. https:\/\/doi.org\/10.1023\/B:NUMA.0000049462.70970.b6","journal-title":"Numer Algorithms"},{"key":"5523_CR25","doi-asserted-by":"publisher","unstructured":"Wonyeol L, Rahul S, Alex A (2016) Verifying bit-manipulations of floating-point. In: Proceeding of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2016). Association for Computing Machinery, New York, NY, USA, vol 51, pp 70\u201384. https:\/\/doi.org\/10.1145\/2908080.2908107","DOI":"10.1145\/2908080.2908107"},{"key":"5523_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3182657","volume":"51","author":"B Roberto","year":"2018","unstructured":"Roberto B, Emilio C, Daniele C, Camil D, Irene F (2018) A survey of symbolic execution techniques. ACM Comput Surv 51:1\u201339. https:\/\/doi.org\/10.1145\/3182657","journal-title":"ACM Comput Surv"},{"key":"5523_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3524051","volume":"34","author":"S Stella","year":"2022","unstructured":"Stella S, Alberto B, Omar I, Mirco T (2022) Tight error analysis in fixed-point arithmetic. Form Asp Comput 34:1\u201332. https:\/\/doi.org\/10.1145\/3524051","journal-title":"Form Asp Comput"},{"key":"5523_CR28","doi-asserted-by":"publisher","unstructured":"Alexey S, Marek S, Ian B, Charles J, Zvonimir R, Ganesh G (2018) Rigorous estimation of floating-point round-off errors with symbolic taylor expansions. In: ACM Transactions on Programming Languages and Systems. Association for Computing Machinery, New York, NY, USA, vol 41, pp 1\u201339. https:\/\/doi.org\/10.1145\/3230733","DOI":"10.1145\/3230733"},{"key":"5523_CR29","doi-asserted-by":"publisher","first-page":"2196","DOI":"10.1007\/s11227-021-03937-8","volume":"78","author":"J Hao","year":"2022","unstructured":"Hao J, Xu J, Guo S (2022) Design of variable precision transcendental function automatic generator. J Supercomput 78:2196\u20132218. https:\/\/doi.org\/10.1007\/s11227-021-03937-8","journal-title":"J Supercomput"},{"key":"5523_CR30","doi-asserted-by":"publisher","first-page":"3917","DOI":"10.1007\/s11227-018-02741-1","volume":"75","author":"B Zhou","year":"2019","unstructured":"Zhou B, YongZhong H, Jinchen X, ShaoZhong G, Hongyuan Q (2019) Memory latency optimizations for the elementary functions on the Sunway architecture. J Supercomput 75:3917\u20133944. https:\/\/doi.org\/10.1007\/s11227-018-02741-1","journal-title":"J Supercomput"},{"key":"5523_CR31","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":"5523_CR32","doi-asserted-by":"publisher","unstructured":"Yuhao Z, Luyao R, Liqian C, Yingfei X, Shing-chi C, Tan X (2020) Detecting numerical bugs in neural network architectures. In: Proceeding of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE 2020). Association for Computing Machinery, New York, NY, USA. pp 826\u2013837. https:\/\/doi.org\/10.1145\/3368089.3409720","DOI":"10.1145\/3368089.3409720"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-023-05523-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-023-05523-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-023-05523-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,8]],"date-time":"2024-01-08T11:30:24Z","timestamp":1704713424000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-023-05523-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,10]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,1]]}},"alternative-id":["5523"],"URL":"https:\/\/doi.org\/10.1007\/s11227-023-05523-6","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,7,10]]},"assertion":[{"value":"25 June 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 July 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval"}}]}}