{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:57Z","timestamp":1725497217722},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642356315"},{"type":"electronic","value":"9783642356322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35632-2_27","type":"book-chapter","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T00:40:54Z","timestamp":1358210454000},"page":"277-291","source":"Crossref","is-referenced-by-count":3,"title":["Certifying Solutions for Numerical Constraints"],"prefix":"10.1007","author":[{"given":"Eva","family":"Darulova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viktor","family":"Kuncak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Ayad, A., March\u00e9, C.: Multi-prover verification of floating-point programs. In: Fifth International Joint Conference on Automated Reasoning (2010)","DOI":"10.1007\/978-3-642-14203-1_11"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Baek, W., Chilimbi, T.M.: Green: a framework for supporting energy-conscious programming using controlled approximation. In: Proc. 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation (2010)","DOI":"10.1145\/1806596.1806620"},{"key":"27_CR3","unstructured":"Burmako, E., Odersky, M., Vogt, C., Zeiger, S., Moors, A.: Sip 16: Self-cleaning macros (2012), \n                  \n                    http:\/\/scalamacros.org\/documentation\/specification.html"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Dahlquist, G., Bj\u00f6rck, A.: Numerical Methods in Scientific Computing. Society for Industrial and Applied Mathematics (2008)","DOI":"10.1137\/1.9780898717785"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Darulova, E., Kuncak, V.: Trustworthy numerical computation in Scala. In: Proc. 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications (2011)","DOI":"10.1145\/2048066.2048094"},{"key":"27_CR6","unstructured":"de Figueiredo, L.H., Stolfi, J.: Self-Validated Numerical Methods and Applications. In: IMPA\/CNPq, Brazil (1997)"},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-04570-7_6","volume-title":"Formal Methods for Industrial Critical Systems","author":"D. Delmas","year":"2009","unstructured":"Delmas, D., Goubault, E., Putot, S., Souyris, J., Tekkal, K., V\u00e9drine, F.: Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. In: Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. LNCS, vol.\u00a05825, pp. 53\u201369. Springer, Heidelberg (2009)"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Demmel, J.W., Hida, Y., Kahan, W., Li, X.S., Mukherjee, S., Riedy, E.J.: Error Bounds from Extra Precise Iterative Refinement. Technical report, EECS Department, University of California, Berkeley (2005)","DOI":"10.1145\/1141885.1141894"},{"key":"27_CR9","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1017\/S0962492902000132","volume":"12","author":"A. Griewank","year":"2003","unstructured":"Griewank, A.: A mathematical view of automatic differentiation. Acta Numerica\u00a012, 321\u2013398 (2003)","journal-title":"Acta Numerica"},{"key":"27_CR10","unstructured":"Hida, Y., Xiaoye, S.L., Bailey, D.H., Kaiser, A.: Quad Double computation package (2012), \n                  \n                    http:\/\/crd-legacy.lbl.gov\/~dhbailey\/mpdist\/"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF02234767","volume":"4","author":"R. Krawczyk","year":"1969","unstructured":"Krawczyk, R.: Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken. Computing\u00a04, 187\u2013201 (1969)","journal-title":"Computing"},{"key":"27_CR12","unstructured":"Moore, R.: Interval Analysis. Prentice-Hall (1966)"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Nguyen, H.D., Revol, N.: Solving and Certifying the Solution of a Linear System. Reliable Computing (2011)","DOI":"10.1145\/2331684.2331711"},{"key":"27_CR14","unstructured":"Odersky, M., Spoon, L., Venners, B.: Programming in Scala: A Comprehensive Step-by-step Guide. Artima Incorporation (2008)"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Quarteroni, A., Saleri, F., Gervasio, P.: Scientific Computing with MATLAB and Octave, 3rd edn. Springer (2010)","DOI":"10.1007\/978-3-642-12430-3"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Rump, S.M.: INTLAB - INTerval LABoratory. In: Developments\u00a0in\u00a0Reliable Computing. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-017-1247-7_7"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Rump, S.M.: Verification methods: rigorous results using floating-point arithmetic. In: Proc. 2010 International Symposium on Symbolic and Algebraic Computation, pp. 3\u20134 (2010)","DOI":"10.1145\/1837934.1837937"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"Woodford, C., Phillips, C.: Numerical Methods with Worked Examples, vol.\u00a02. Springer (2012)","DOI":"10.1007\/978-94-007-1366-6"},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Zhu, Z.A., Misailovic, S., Kelner, J.A., Rinard, M.: Randomized accuracy-aware program transformations for efficient approximate computations. In: Proc. 39th ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (2012)","DOI":"10.1145\/2103656.2103710"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35632-2_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:21:07Z","timestamp":1620134467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35632-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642356315","9783642356322"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35632-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}