{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:39:56Z","timestamp":1743143996855,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319089089"},{"type":"electronic","value":"9783319089096"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08909-6_4","type":"book-chapter","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T06:02:05Z","timestamp":1405058525000},"page":"48-64","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]},{"given":"Udo","family":"Lelitko","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,7,12]]},"reference":[{"issue":"4","key":"4_CR1","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/1721654.1721675","volume":"53","author":"S Antoy","year":"2010","unstructured":"Antoy, S., Hanus, M.: Functional logic programming. Commun. ACM 53(4), 74\u201385 (2010)","journal-title":"Commun. ACM"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.tcs.2005.09.058","volume":"351","author":"K Briggs","year":"2006","unstructured":"Briggs, K.: Implementing exact real arithmetic in python, C++ and C. Theor. Comput. Sci. 351(1), 74\u201381 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"4_CR3","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0304-3975(95)00250-2","volume":"162","author":"MH Escard\u00f3","year":"1996","unstructured":"Escard\u00f3, M.H.: PCF extended with real numbers. Theor. Comput. Sci. 162(1), 79\u2013115 (1996)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/3-540-45335-0_3","volume-title":"Computability and Complexity in Analysis","author":"P Gowland","year":"2001","unstructured":"Gowland, P., Lester, D.R.: A survey of exact arithmetic implementations. In: Blank, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol. 2064, pp. 30\u201347. Springer, Heidelberg (2001)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-37651-1_6","volume-title":"Programming Logics","author":"M Hanus","year":"2013","unstructured":"Hanus, M.: Functional logic programming: from theory to Curry. In: Voronkov, A., Weidenbach, C. (eds.) Programming Logics - Essays in Memory of Harald Ganzinger. LNCS, vol. 7797, pp. 123\u2013168. Springer, Heidelberg (2013)"},{"key":"4_CR6","unstructured":"Lelitko, U.: Realisation of exact real arithmetic in the functional logic programming language Curry. Diploma thesis, Department of Computer Science, FernUniversit\u00e4t in Hagen, Germany (2013) (in German)"},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/S0304-3975(02)00226-8","volume":"291","author":"DR Lester","year":"2003","unstructured":"Lester, D.R., Gowland, P.: Using PVS to validate the algorithms of an exact arithmetic. Theor. Comput. Sci. 291(2), 203\u2013218 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20132","key":"4_CR8","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1016\/j.tcs.2007.01.021","volume":"379","author":"JR Marcial-Romero","year":"2007","unstructured":"Marcial-Romero, J.R., Escard\u00f3, M.H.: Semantics of a sequential language for exact real-number computation. Theor. Comput. Sci. 379(1\u20132), 120\u2013141 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/3-540-45335-0_14","volume-title":"Computability and Complexity in Analysis","author":"NT M\u00fcller","year":"2001","unstructured":"M\u00fcller, N.T.: The iRRAM: exact arithmetic in C++. In: Blank, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol. 2064, pp. 222\u2013252. Springer, Heidelberg (2001)"},{"key":"4_CR10","unstructured":"Plume, D.B.: A calculator for exact real number computation. University of Edinburgh (1998). http:\/\/www.dcs.ed.ac.uk\/home\/mhe\/plume\/"},{"key":"4_CR11","volume-title":"Numerical Analysis","author":"LR Scott","year":"2011","unstructured":"Scott, L.R.: Numerical Analysis. Princeton Univ. Press, Princeton (2011)"},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-7(2:19)2011","volume":"7","author":"N Tavana","year":"2011","unstructured":"Tavana, N., Weihrauch, K.: Turing machines on represented sets a model of computation for analysis. Log. Methods Comput. Sci. 7(2), 1\u201321 (2011)","journal-title":"Log. Methods Comput. Sci."},{"issue":"8","key":"4_CR13","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1109\/12.57047","volume":"39","author":"J Vuillemin","year":"1990","unstructured":"Vuillemin, J.: Exact real computer arithmetic with continued fractions. IEEE Trans. Comput. 39(8), 1087\u20131105 (1990)","journal-title":"IEEE Trans. Comput."},{"key":"4_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)"}],"container-title":["Lecture Notes in Computer Science","Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08909-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T01:48:06Z","timestamp":1675820886000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08909-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319089089","9783319089096"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08909-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"12 July 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}