{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:01Z","timestamp":1725512101871},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540792277"},{"type":"electronic","value":"9783540792284"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79228-4_34","type":"book-chapter","created":{"date-parts":[[2008,4,29]],"date-time":"2008-04-29T05:07:56Z","timestamp":1209445676000},"page":"388-399","source":"Crossref","is-referenced-by-count":1,"title":["A Denotational Semantics for Total Correctness of Sequential Exact Real Programs"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Anberr\u00e9e","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol.\u00a03, pp. 1\u2013168. Clarendon Press (1994)","DOI":"10.1093\/oso\/9780198537625.003.0001"},{"key":"34_CR2","first-page":"43","volume-title":"Research topics in functional programming","author":"H.J. Boehm","year":"1990","unstructured":"Boehm, H.J., Cartwright, R.: Exact real arithmetic: Formulating real numbers as functions. In: Research topics in functional programming, pp. 43\u201364. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA (1990)"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Escard\u00f3, M.H.: PCF extended with real numbers: A domain-theoretic approach to higher-order exact real number computation. PhD thesis, Department of Computing, Imperial College, University of London (1996)","DOI":"10.1016\/0304-3975(95)00250-2"},{"key":"34_CR4","unstructured":"Farjudian, A.: Sequentiality in Real Number Computation. PhD thesis, School of Computer Science, University of Birmingham (2004)"},{"key":"34_CR5","unstructured":"Di Gianantonio, P.: A Functional Approach to Computability on Real Numbers. PhD thesis, University of Pisa, Udine (1993)"},{"key":"34_CR6","series-title":"Encyclopedia of Mathematics and its Applications","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous Lattices and Domains","author":"G. Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Encyclopedia of Mathematics and its Applications, vol.\u00a093. Cambridge University Press, Cambridge (2003)"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Marcial-Romero, J.R.: Semantics of a Sequential Language for Exact Real-Number Computation. PhD thesis, School of Computer Science, University of Birmingham U.K. (2004)","DOI":"10.1109\/LICS.2004.1319637"},{"issue":"1-2","key":"34_CR8","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1016\/j.tcs.2007.01.021","volume":"379","author":"J.R. Marcial-Romero","year":"2007","unstructured":"Marcial-Romero, J.R., Escard\u00f3, M.H.: Semantics of a sequential language for exact real-number computation. Theoretical Computer Science\u00a0379(1-2), 120\u2013141 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"34_CR9","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G.D. Plotkin","year":"1977","unstructured":"Plotkin, G.D.: LCF considered as a programming language. Theor. Comput. Sci.\u00a05(3), 225\u2013255 (1977)","journal-title":"Theor. Comput. Sci."},{"key":"34_CR10","doi-asserted-by":"crossref","DOI":"10.1142\/6284","volume-title":"Domain-Theoretic Foundations of Functional Programming","author":"T. Streicher","year":"2006","unstructured":"Streicher, T.: Domain-Theoretic Foundations of Functional Programming. Imperial College Press, London (2006)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79228-4_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,25]],"date-time":"2024-02-25T14:42:18Z","timestamp":1708872138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79228-4_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540792277","9783540792284"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79228-4_34","relation":{},"subject":[]}}