{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:20Z","timestamp":1750306520381,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T00:00:00Z","timestamp":1415664000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,11,11]]},"DOI":"10.1145\/2635868.2666603","type":"proceedings-article","created":{"date-parts":[[2014,11,4]],"date-time":"2014-11-04T21:44:36Z","timestamp":1415137476000},"page":"779-782","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Numerical program analysis and testing"],"prefix":"10.1145","author":[{"given":"Zheng","family":"Gao","sequence":"first","affiliation":[{"name":"University College London, UK"}]}],"member":"320","published-online":{"date-parts":[[2014,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509526"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429133"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v16:2"},{"key":"e_1_3_2_1_5_1","first-page":"18","volume-title":"Proceedings of VI SIBGRAPI (Brazilian Symposium on Computer Graphics and Image Processing)","author":"Comba J. L. D.","unstructured":"J. L. D. Comba and J. Stol . Affine arithmetic and its applications to computer graphics . In Proceedings of VI SIBGRAPI (Brazilian Symposium on Computer Graphics and Image Processing) , pages 9\u2013 18 . Citeseer, 1993. J. L. D. Comba and J. Stol. Affine arithmetic and its applications to computer graphics. In Proceedings of VI SIBGRAPI (Brazilian Symposium on Computer Graphics and Image Processing), pages 9\u201318. Citeseer, 1993."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80166-5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10003-2_69"},{"key":"e_1_3_2_1_10_1","volume-title":"Printice-Hall","author":"Forsythe G. E.","year":"1977","unstructured":"G. E. Forsythe , C. B. Moler , and M. A. Malcolm . Computer methods for mathematical computations . Printice-Hall , Englewood Cliffs, NJ , 1977 . G. E. Forsythe, C. B. Moler, and M. A. Malcolm. Computer methods for mathematical computations. Printice-Hall, Englewood Cliffs, NJ, 1977."},{"key":"e_1_3_2_1_11_1","first-page":"340","volume-title":"Field Programmable Technology, 2006. FPT 2006. IEEE International Conference on","author":"Fu H.","unstructured":"H. Fu , O. Mencer , and W. Luk . Comparing floating-point and logarithmic number representations for reconfigurable acceleration . In Field Programmable Technology, 2006. FPT 2006. IEEE International Conference on , pages 337\u2013 340 . IEEE, 2006. H. Fu, O. Mencer, and W. Luk. Comparing floating-point and logarithmic number representations for reconfigurable acceleration. In Field Programmable Technology, 2006. FPT 2006. IEEE International Conference on, pages 337\u2013340. IEEE, 2006."},{"key":"e_1_3_2_1_12_1","first-page":"259","volume-title":"Static Analysis","author":"Goubault E.","unstructured":"E. Goubault . Static analyses of the precision of floating-point operations . In Static Analysis , pages 234\u2013 259 . Springer Berlin Heidelberg, 2001. E. Goubault. Static analyses of the precision of floating-point operations. In Static Analysis, pages 234\u2013259. Springer Berlin Heidelberg, 2001."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227701"},{"key":"e_1_3_2_1_14_1","first-page":"08","article-title":"High risks don\u2019t deter U.S. funds from Vancouver deals","author":"Henriques D. B.","year":"1994","unstructured":"D. B. Henriques . High risks don\u2019t deter U.S. funds from Vancouver deals . The New York Times , 08 1994 . D. B. Henriques. High risks don\u2019t deter U.S. funds from Vancouver deals. The New York Times, 08 1994.","journal-title":"The New York Times"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_16_1","volume-title":"Berkeley elementary function test suite","author":"Liu Z. A.","year":"1987","unstructured":"Z. A. Liu and W. Kahan . Berkeley elementary function test suite , 1987 . Z. A. Liu and W. Kahan. Berkeley elementary function test suite, 1987."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1038\/467775a"},{"key":"e_1_3_2_1_18_1","volume-title":"Interval analysis","author":"Moore R. E.","year":"1966","unstructured":"R. E. Moore . Interval analysis , volume 4 . Prentice-Hall Englewood Cliffs , 1966 . R. E. Moore. Interval analysis, volume 4. Prentice-Hall Englewood Cliffs, 1966."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2187809"},{"key":"e_1_3_2_1_20_1","volume-title":"Report Oberstar Consulting","author":"Oberstar E. L.","year":"2007","unstructured":"E. L. Oberstar . Fixed-point representation and fractional math . Report Oberstar Consulting , 2007 . E. L. Oberstar. Fixed-point representation and fractional math. Report Oberstar Consulting, 2007."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594302"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146256"},{"key":"e_1_3_2_1_23_1","unstructured":"R. P. Stanley. Catalan addendum 2008.  R. P. Stanley. Catalan addendum 2008."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224172"},{"key":"e_1_3_2_1_25_1","first-page":"84","volume-title":"Formal Methods for Industrial Critical Systems","author":"Whalen M.","unstructured":"M. Whalen , D. Cofer , S. Miller , B. H. Krogh , and W. Storm . Integration of formal analysis into a model-based software development process . In Formal Methods for Industrial Critical Systems , pages 68\u2013 84 . Springer, 2008. M. Whalen, D. Cofer, S. Miller, B. H. Krogh, and W. Storm. Integration of formal analysis into a model-based software development process. In Formal Methods for Industrial Critical Systems, pages 68\u201384. Springer, 2008."},{"key":"e_1_3_2_1_26_1","first-page":"70","volume-title":"IEEE standard for floating-point arithmetic","author":"Zuras D.","year":"2008","unstructured":"D. Zuras , M. Cowlishaw , A. Aiken , M. Applegate , D. Bailey , S. Bass , D. Bhandarkar , M. Bhat , D. Bindel , S. Boldo , IEEE standard for floating-point arithmetic . IEEE Std 754- 2008 , pages 1\u2013 70 , 2008. Introduction Survey Static Analysis Testing Symbolic Execution Real Encoding Comparison Floating-Point Exceptions Expression Rewriting Conclusion Acknowledgments D. Zuras, M. Cowlishaw, A. Aiken, M. Applegate, D. Bailey, S. Bass, D. Bhandarkar, M. Bhat, D. Bindel, S. Boldo, et al. IEEE standard for floating-point arithmetic. IEEE Std 754- 2008, pages 1\u201370, 2008. Introduction Survey Static Analysis Testing Symbolic Execution Real Encoding Comparison Floating-Point Exceptions Expression Rewriting Conclusion Acknowledgments"}],"event":{"name":"SIGSOFT\/FSE'14: 22nd ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Hong Kong China","acronym":"SIGSOFT\/FSE'14"},"container-title":["Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2666603","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2635868.2666603","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:11:57Z","timestamp":1750227117000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2635868.2666603"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,11]]},"references-count":25,"alternative-id":["10.1145\/2635868.2666603","10.1145\/2635868"],"URL":"https:\/\/doi.org\/10.1145\/2635868.2666603","relation":{},"subject":[],"published":{"date-parts":[[2014,11,11]]},"assertion":[{"value":"2014-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}