{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T14:31:16Z","timestamp":1754145076161,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,1,10]]},"DOI":"10.1145\/3725899.3725922","type":"proceedings-article","created":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T11:33:04Z","timestamp":1752233584000},"page":"148-158","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["AutoFPIR: A Automatic Conversion Tool for Floating-point Program to Equivalent Intermediate Representation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-9835-3761","authenticated-orcid":false,"given":"Yuchang","family":"Zhou","sequence":"first","affiliation":[{"name":"PLA Information Engineering University, Henan, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0060-2151","authenticated-orcid":false,"given":"Ping","family":"Zhang","sequence":"additional","affiliation":[{"name":"PLA Information Engineering University, Henan, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6275-2617","authenticated-orcid":false,"given":"Jinchen","family":"Xu","sequence":"additional","affiliation":[{"name":"PLA Information Engineering University, Henan, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1515-0602","authenticated-orcid":false,"given":"Bei","family":"Zhou","sequence":"additional","affiliation":[{"name":"PLA Information Engineering University, Henan, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-3761-5316","authenticated-orcid":false,"given":"Mengqi","family":"Cui","sequence":"additional","affiliation":[{"name":"PLA Information Engineering University, Henan, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-3888-7588","authenticated-orcid":false,"given":"Hongru","family":"Yang","sequence":"additional","affiliation":[{"name":"PLA Information Engineering University, Henan, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-5865-9875","authenticated-orcid":false,"given":"Liguang","family":"Ji","sequence":"additional","affiliation":[{"name":"PLA Information Engineering University, Henan, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4603-8364","authenticated-orcid":false,"given":"Jianing","family":"Zhang","sequence":"additional","affiliation":[{"name":"PLA Information Engineering University, Henan, China"}]}],"member":"320","published-online":{"date-parts":[[2025,7,11]]},"reference":[{"key":"e_1_3_3_1_1_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.0013"},{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/1272848.1272905"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-54292-8_6"},{"volume-title":"GNU Scientific Library Reference Manual -","author":"Gough Brian","key":"e_1_3_3_1_5_2","unstructured":"Brian Gough. 2009. GNU Scientific Library Reference Manual - Third Edition (3rd. ed.). Network Theory Ltd."},{"key":"e_1_3_3_1_6_2","volume-title":"Working group of the Microprocessor Standards Subcommittee, and American National Standards Institute.\u00a0IEEE standard for binary floating-point arithmetic","author":"IEEE Computer Society Standards Committee.","year":"1985","unstructured":"IEEE Computer Society Standards Committee. Working group of the Microprocessor Standards Subcommittee, and American National Standards Institute.\u00a0IEEE standard for binary floating-point arithmetic. Vol. 754. IEEE, 1985."},{"volume-title":"Principles of Program Analysis","author":"Nielson Flemming","key":"e_1_3_3_1_7_2","unstructured":"Flemming Nielson, Hanne R. Nielson, and Chris Hankin. 2010. Principles of Program Analysis. Springer Publishing Company, Incorporated."},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/367390.367400"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2019.20"},{"key":"e_1_3_3_1_10_2","volume-title":"\u201cAn overview on the Static Code Analysis approach in Software Development","author":"Vieira Ivo","year":"2009","unstructured":"Gomes, Ivo Vieira, Pedro Morgado, Tiago Gomes and Rodrigo M. L. M. Moreira. \u201cAn overview on the Static Code Analysis approach in Software Development.\u201d (2009)."},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2019.106176"},{"key":"e_1_3_3_1_12_2","volume-title":"Next generation compiler technology.\"\u00a0The BSD conference","author":"Clang LLVM","year":"2008","unstructured":"Lattner, Chris. \"LLVM and Clang: Next generation compiler technology.\"\u00a0The BSD conference. Vol. 5. 2008."},{"key":"e_1_3_3_1_13_2","volume-title":"\u201cComparing Clang Abstract Syntax Trees using String Kernels","author":"Kunkel Julian Martin","year":"2019","unstructured":"Torres, Raul, Julian Martin Kunkel and Thomas Ludwig. \u201cComparing Clang Abstract Syntax Trees using String Kernels.\u201d (2019)."},{"key":"e_1_3_3_1_14_2","unstructured":"F\u00fcl\u00f6p Endre Attila Gy\u00e9n and Norbert Pataki. \u201cA Framework for C++ Exception Handling Assistance.\u201d\u00a0SQAMIA\u00a0(2022)."},{"key":"e_1_3_3_1_15_2","volume-title":"Reilly","author":"McCracken Daniel D.","year":"2003","unstructured":"Daniel D. McCracken and Edwin D. Reilly. 2003. Backus-Naur form (BNF). Encyclopedia of Computer Science. John Wiley and Sons Ltd., GBR, 129\u2013131"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3230733"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-020-03469-7"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-023-05523-6"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Yang Hongru Jinchen Xu Jiangwei Hao Zuoyan Zhang and Bei Zhou. \u201cDetecting Floating-Point Expression Errors Based Improved PSO Algorithm.\u201d\u00a0IET Software\u00a0(2023): n. pag.","DOI":"10.1049\/2023\/6681267"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680378"}],"event":{"name":"ICSIM 2025: 2025 The 8th International Conference on Software Engineering and Information Management","acronym":"ICSIM 2025","location":"Singapore Singapore"},"container-title":["Proceedings of the 2025 8th International Conference on Software Engineering and Information Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3725899.3725922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T11:34:53Z","timestamp":1752665693000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3725899.3725922"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,10]]},"references-count":20,"alternative-id":["10.1145\/3725899.3725922","10.1145\/3725899"],"URL":"https:\/\/doi.org\/10.1145\/3725899.3725922","relation":{},"subject":[],"published":{"date-parts":[[2025,1,10]]},"assertion":[{"value":"2025-07-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}