{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:13Z","timestamp":1772164033142,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,22]],"date-time":"2011-10-22T00:00:00Z","timestamp":1319241600000},"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":[[2011,10,22]]},"DOI":"10.1145\/2048066.2048094","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T08:23:06Z","timestamp":1319530986000},"page":"325-344","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Trustworthy numerical computation in Scala"],"prefix":"10.1145","author":[{"given":"Eva","family":"Darulova","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viktor","family":"Kuncak","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"DocWeb - Java SE 6 - java.lang.Math. http:\/\/doc.java.sun.com\/DocWeb\/#r\/Java SE 6\/java.lang.Math\/columnMain.  DocWeb - Java SE 6 - java.lang.Math. http:\/\/doc.java.sun.com\/DocWeb\/#r\/Java SE 6\/java.lang.Math\/columnMain."},{"key":"e_1_3_2_1_2_1","unstructured":"J. Stolfi's general-purpose C libraries. http:\/\/www.ic.unicamp.br\/~stolfi\/EXPORT\/software\/c\/ Index.html#libaa 2005.  J. Stolfi's general-purpose C libraries. http:\/\/www.ic.unicamp.br\/~stolfi\/EXPORT\/software\/c\/ Index.html#libaa 2005."},{"key":"e_1_3_2_1_3_1","volume-title":"http:\/\/aaflib.sourceforge.net\/","author":"Library An Affine","year":"2010","unstructured":"aaflib - An Affine Arithmetic C+ Library . http:\/\/aaflib.sourceforge.net\/ , 2010 . aaflib - An Affine Arithmetic C+ Library. http:\/\/aaflib.sourceforge.net\/, 2010."},{"key":"e_1_3_2_1_4_1","volume-title":"Jan","author":"Language Benchmarks Game The Computer","year":"2011","unstructured":"The Computer Language Benchmarks Game . http:\/\/shootout.alioth.debian.org\/ , Jan 2011 . The Computer Language Benchmarks Game. http:\/\/shootout.alioth.debian.org\/, Jan 2011."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9149-2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14203-1_11"},{"key":"e_1_3_2_1_7_1","first-page":"35","volume-title":"FMCAD","author":"Ball T.","year":"2010","unstructured":"T. Ball , E. Bounimova , R. Kumar , and V. Levin . Slam2: Static driver verification with under 4% false alarms . In FMCAD , pages 35 -- 42 , 2010 . T. Ball, E. Bounimova, R. Kumar, and V. Levin. Slam2: Static driver verification with under 4% false alarms. In FMCAD, pages 35--42, 2010."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02614-0_10"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the Second NASA Formal Methods Symposium","author":"Boldo S.","year":"2010","unstructured":"S. Boldo and T. M. T. Nguyen . Hardware-independent proofs of numerical programs . In Proceedings of the Second NASA Formal Methods Symposium , 2010 . S. Boldo and T. M. T. Nguyen. Hardware-independent proofs of numerical programs. In Proceedings of the Second NASA Formal Methods Symposium, 2010."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v16:2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351141"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706308"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_2"},{"key":"e_1_3_2_1_14_1","volume-title":"ESOP","author":"Cousot P.","year":"2005","unstructured":"P. Cousot , R. Cousot , J. Feret , L. Mauborgne , A. Min\u00e9 , D. Monniaux , and X. Rival . The ASTR\u00c9E Analyser . In ESOP , 2005 . P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Min\u00e9, D. Monniaux, and X. Rival. The ASTR\u00c9E Analyser. In ESOP, 2005."},{"key":"e_1_3_2_1_15_1","volume-title":"ESP: Path-sensitive program verification in polynomial time","author":"Das Manuvir","year":"2002","unstructured":"Manuvir Das , Sorin Lerner , and Mark Seigle . ESP: Path-sensitive program verification in polynomial time . 2002 . Manuvir Das, Sorin Lerner, and Mark Seigle. ESP: Path-sensitive program verification in polynomial time. 2002."},{"key":"e_1_3_2_1_16_1","unstructured":"M. Davis. DoubleDouble.java. http:\/\/tsusiatsoftware.net\/dd\/main.html.  M. Davis. DoubleDouble.java. http:\/\/tsusiatsoftware.net\/dd\/main.html."},{"key":"e_1_3_2_1_17_1","volume-title":"IMPA\/CNPq","author":"de Figueiredo L. H.","year":"1997","unstructured":"L. H. de Figueiredo and J. Stolfi . Self-Validated Numerical Methods and Applications . IMPA\/CNPq , Brazil , 1997 . L. H. de Figueiredo and J. Stolfi. Self-Validated Numerical Methods and Applications. IMPA\/CNPq, Brazil, 1997."},{"key":"e_1_3_2_1_18_1","volume-title":"Numerical Algorithms","author":"Figueiredo L. H.","year":"2004","unstructured":"L. H. de~ Figueiredo and J. Stolfi . Affine Arithmetic: Concepts and Applications . Numerical Algorithms , 2004 . L. H. de~Figueiredo and J. Stolfi. Affine Arithmetic: Concepts and Applications. Numerical Algorithms, 2004."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375615"},{"key":"e_1_3_2_1_20_1","volume-title":"Interval Mathematical Library Based on Chebyshev and Taylor Series Expansion. Reliable Computing, 11","author":"Ershov A. G.","year":"2005","unstructured":"A. G. Ershov and T. P. Kashevarova . Interval Mathematical Library Based on Chebyshev and Taylor Series Expansion. Reliable Computing, 11 , 2005 . A. G. Ershov and T. P. Kashevarova. Interval Mathematical Library Based on Chebyshev and Taylor Series Expansion. Reliable Computing, 11, 2005."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2003.1202428"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025123.1025818"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"e_1_3_2_1_24_1","volume-title":"The","author":"Gosling J.","year":"2005","unstructured":"J. Gosling , B. Joy , G. Steele , and G. Bracha . Java(TM) Language Specification , The 3 rd Edition. Addison-Wesley , 2005 . J. Gosling, B. Joy, G. Steele, and G. Bracha. Java(TM) Language Specification, The 3rd Edition. Addison-Wesley, 2005.","edition":"3"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1946284.1946301"},{"key":"e_1_3_2_1_26_1","volume-title":"DATE","author":"Grimm Ch.","year":"2004","unstructured":"Ch. Grimm , W. Heupke , and K. Waldschmidt . Refinement of Mixed-Signal Systems with Affine Arithmetic . In DATE , 2004 . Ch. Grimm, W. Heupke, and K. Waldschmidt. Refinement of Mixed-Signal Systems with Affine Arithmetic. In DATE, 2004."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/788023.789072"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.328993"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558622"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_52"},{"key":"e_1_3_2_1_31_1","volume-title":"CADNA: a library for estimating round-off error propagation. Computer Physics Communications, 178(12)","author":"J\u00e9z\u00e9quel F.","year":"2008","unstructured":"F. J\u00e9z\u00e9quel and J.-M. Chesneaux . CADNA: a library for estimating round-off error propagation. Computer Physics Communications, 178(12) , 2008 . F. J\u00e9z\u00e9quel and J.-M. Chesneaux. CADNA: a library for estimating round-off error propagation. Computer Physics Communications, 178(12), 2008."},{"key":"e_1_3_2_1_32_1","volume-title":"Field - Programmable Logic and Applications.","author":"Jiang J.","year":"2003","unstructured":"J. Jiang , W. Luk , and D. Rueckert . FPGA-Based Computation of Free-Form Deformations . In Field - Programmable Logic and Applications. 2003 . J. Jiang, W. Luk, and D. Rueckert. FPGA-Based Computation of Free-Form Deformations. In Field - Programmable Logic and Applications. 2003."},{"key":"e_1_3_2_1_33_1","volume-title":"Miscalculating Area and Angles of a Needle-like Triangle. Technical report","author":"Kahan W.","year":"2000","unstructured":"W. Kahan . Miscalculating Area and Angles of a Needle-like Triangle. Technical report , University of California Berkeley , 2000 . W. Kahan. Miscalculating Area and Angles of a Needle-like Triangle. Technical report, University of California Berkeley, 2000."},{"key":"e_1_3_2_1_34_1","volume-title":"DATE","author":"Kinsman A.B.","year":"2009","unstructured":"A.B. Kinsman and N. Nicolici . Finite Precision bit-width allocation using SAT-Modulo Theory . In DATE , 2009 . A.B. Kinsman and N. Nicolici. Finite Precision bit-width allocation using SAT-Modulo Theory. In DATE, 2009."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939425"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.125"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.873887"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926387"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772987"},{"key":"e_1_3_2_1_40_1","volume-title":"Java Virtual Machine Specification","author":"Lindholm T.","year":"1999","unstructured":"T. Lindholm and F. Yellin . Java Virtual Machine Specification . Addison-Wesley Longman Publishing Co., Inc. , 2nd edition, 1999 . T. Lindholm and F. Yellin. Java Virtual Machine Specification. Addison-Wesley Longman Publishing Co., Inc., 2nd edition, 1999."},{"key":"e_1_3_2_1_41_1","unstructured":"R. Longbottom. Whetstone Benchmark Java Version. http:\/\/www.roylongbottom.org.uk\/online\/whetjava.html 1997.  R. Longbottom. Whetstone Benchmark Java Version. http:\/\/www.roylongbottom.org.uk\/online\/whetjava.html 1997."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.17"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_4"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8396(02)00146-2"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353446"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.713311"},{"key":"e_1_3_2_1_47_1","volume-title":"Interval Analysis","author":"Moore R.E.","year":"1966","unstructured":"R.E. Moore . Interval Analysis . Prentice-Hall , 1966 . R.E. Moore. Interval Analysis. Prentice-Hall, 1966."},{"key":"e_1_3_2_1_48_1","volume-title":"Programming in Scala: a comprehensive step-by-step guide","author":"Odersky M.","year":"2008","unstructured":"M. Odersky , L. Spoon , and B. Venners . Programming in Scala: a comprehensive step-by-step guide . Artima Press , 2008 . M. Odersky, L. Spoon, and B. Venners. Programming in Scala: a comprehensive step-by-step guide. Artima Press, 2008."},{"key":"e_1_3_2_1_49_1","unstructured":"R. Pozo and B. R. Miller. Java SciMark 2.0. http:\/\/math.nist.gov\/scimark2\/about.html 2004.  R. Pozo and B. R. Miller. Java SciMark 2.0. http:\/\/math.nist.gov\/scimark2\/about.html 2004."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1991.145549"},{"key":"e_1_3_2_1_51_1","volume-title":"June","author":"Programming~Language Blog Scala","year":"2010","unstructured":"Scala Programming~Language Blog . '==' and equals. http:\/\/scala-programming-language.1934581.n4.nabble.com\/and-equals-td22%61488.html , June 2010 . Scala Programming~Language Blog. '==' and equals. http:\/\/scala-programming-language.1934581.n4.nabble.com\/and-equals-td22%61488.html, June 2010."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868314"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375602"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008669628911"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775960"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"crossref","unstructured":"T. R. Scavo and J. B. Thoo. On the Geometry of Halley's Method. The American Mathematical Monthly 1995 102 5","DOI":"10.2307\/2975033"},{"key":"e_1_3_2_1_57_1","first-page":"12","author":"Shou H.","year":"2002","unstructured":"H. Shou , R.R. Martin , I. Voiculescu , A. Bowyer , and G. Wang . Affine Arithmetic in Matrix Form for Polynomial Evaluation and Algebraic Curve Drawing. Progress in Natural Science , 12 , 2002 . H. Shou, R.R. Martin, I. Voiculescu, A. Bowyer, and G. Wang. Affine Arithmetic in Matrix Form for Polynomial Evaluation and Algebraic Curve Drawing. Progress in Natural Science, 12, 2002.","journal-title":"Progress in Natural Science"},{"key":"e_1_3_2_1_58_1","first-page":"2008","year":"2008","unstructured":"IEEE~Computer Society. IEEE Standard for Floating-Point Arithmetic. IEEE Std 754-- 2008 , 2008 . IEEE~Computer Society. IEEE Standard for Floating-Point Arithmetic. IEEE Std 754--2008, 2008.","journal-title":"IEEE~Computer Society. IEEE Standard for Floating-Point Arithmetic. IEEE Std 754--"},{"key":"e_1_3_2_1_59_1","volume-title":"http:\/\/www.fourmilab.ch\/fbench\/fbench.html","author":"Walker J.","year":"2007","unstructured":"J. Walker . fbench - Trigonometry Intense Floating Point Benchmark . http:\/\/www.fourmilab.ch\/fbench\/fbench.html , 2007 . J. Walker. fbench - Trigonometry Intense Floating Point Benchmark. http:\/\/www.fourmilab.ch\/fbench\/fbench.html, 2007."},{"key":"e_1_3_2_1_60_1","volume-title":"http:\/\/code.google.com\/p\/geo-reminder\/source\/browse\/trunk\/benchmark-and%roid\/src\/com\/benchmark\/suite\/Fbench.java?r=108","author":"White J.","year":"2005","unstructured":"J. White . Fbench.java. http:\/\/code.google.com\/p\/geo-reminder\/source\/browse\/trunk\/benchmark-and%roid\/src\/com\/benchmark\/suite\/Fbench.java?r=108 , 2005 . J. White. Fbench.java. http:\/\/code.google.com\/p\/geo-reminder\/source\/browse\/trunk\/benchmark-and%roid\/src\/com\/benchmark\/suite\/Fbench.java?r=108, 2005."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-010-0452-2"}],"event":{"name":"SPLASH '11: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Portland Oregon USA","acronym":"SPLASH '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2048066.2048094","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2048066.2048094","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:31Z","timestamp":1750225711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2048066.2048094"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,22]]},"references-count":61,"alternative-id":["10.1145\/2048066.2048094","10.1145\/2048066"],"URL":"https:\/\/doi.org\/10.1145\/2048066.2048094","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2076021.2048094","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,10,22]]},"assertion":[{"value":"2011-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}