{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:47Z","timestamp":1740099047030,"version":"3.37.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319893655"},{"type":"electronic","value":"9783319893662"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89366-2_25","type":"book-chapter","created":{"date-parts":[[2018,4,13]],"date-time":"2018-04-13T19:52:34Z","timestamp":1523649154000},"page":"459-475","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Differential Calculus with Imprecise Input and Its Logical Framework"],"prefix":"10.1007","author":[{"given":"Abbas","family":"Edalat","sequence":"first","affiliation":[]},{"given":"Mehrdad","family":"Maleki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,14]]},"reference":[{"unstructured":"Haskell Implementation of IC-Reals for Exact Real Computation. Imperial College London. \nhttp:\/\/www.doc.ic.ac.uk\/exact-computation\/Haskell","key":"25_CR1"},{"key":"25_CR2","volume-title":"Handbook of Logic in Computer Science","author":"S Abramsky","year":"1994","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. 3. Clarendon, Oxford (1994)"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1007\/3-540-45465-9_42","volume-title":"Automata, Languages and Programming","author":"A Bauer","year":"2002","unstructured":"Bauer, A., Escard\u00f3, M.H., Simpson, A.: Comparing functional paradigms for exact real-number computation. In: Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R., Hennessy, M. (eds.) ICALP 2002. LNCS, vol. 2380, pp. 488\u2013500. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-45465-9_42"},{"key":"25_CR4","volume-title":"Optimization and Nonsmooth Analysis","author":"FH Clarke","year":"1983","unstructured":"Clarke, F.H.: Optimization and Nonsmooth Analysis. Wiley, New York (1983)"},{"unstructured":"Di Gianantonio, P.: A functional approach to real number computation. Ph.D. thesis, University of Pisa (1993)","key":"25_CR5"},{"issue":"1","key":"25_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1006\/inco.1996.0046","volume":"127","author":"P Gianantonio Di","year":"1996","unstructured":"Di Gianantonio, P.: Real number computability and domain theory. Inf. Comput. 127(1), 11\u201325 (1996)","journal-title":"Inf. Comput."},{"doi-asserted-by":"crossref","unstructured":"Di Gianantonio, P., Edalat, A.: A language for differentiable functions. In: Proceedings of the 16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) (2013)","key":"25_CR7","DOI":"10.1007\/978-3-642-37075-5_22"},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-73001-9_26","volume-title":"Computation and Logic in the Real World","author":"A Edalat","year":"2007","unstructured":"Edalat, A.: A continuous derivative for real-valued functions. In: Cooper, S.B., L\u00f6we, B., Sorbi, A. (eds.) CiE 2007. LNCS, vol. 4497, pp. 248\u2013257. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-73001-9_26"},{"doi-asserted-by":"crossref","unstructured":"Edalat, A., Escard\u00f3, M.: Integration in real PCF. In: Eleventh Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE (1996)","key":"25_CR9","DOI":"10.1109\/LICS.1996.561453"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-45699-6_5","volume-title":"Applied Semantics","author":"A Edalat","year":"2002","unstructured":"Edalat, A., Heckmann, R.: Computing with real numbers. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol. 2395, pp. 193\u2013267. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-45699-6_5"},{"unstructured":"Edalat, A., Lieutier, A.: Domain theory and differential calculus (functions of one variable). In: LICS. IEEE (2002). \nwww.doc.ic.ac.uk\/~ae\/papers\/diffcal.ps\n\n. Full paper to appear in MSCS","key":"25_CR11"},{"issue":"2","key":"25_CR12","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/S0304-3975(01)00091-3","volume":"284","author":"A Edalat","year":"2002","unstructured":"Edalat, A., Lieutier, A.: Foundation of a computable solid modelling. Theoret. Comput. Sci. 284(2), 319\u2013345 (2002)","journal-title":"Theoret. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Edalat, A., Maleki, M.: Differentiation in logical form. In: Proceedings of 32th ACM\/IEEE Symposium on Logic in Computer Science (LICS 2017). ACM\/IEEE (2017)","key":"25_CR13","DOI":"10.1109\/LICS.2017.8005143"},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S1571-0661(05)80166-5","volume":"6","author":"Abbas Edalat","year":"1997","unstructured":"Edalat, A., Potts, P.J.: A new representation for exact real numbers. In: Proceedings of Mathematical Foundations of Programming Semantics 13, Electronic Notes in Theoretical Computer Science, vol. 6. Elsevier Science B.V. (1997). \nwww.elsevier.nl\/locate\/entcs\/volume6.html","journal-title":"Electronic Notes in Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Edalat, A., Potts, P.J., S\u00fcnderhauf, P.: Lazy computation with exact real numbers. In: Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, pp. 185\u2013194. ACM (1998)","key":"25_CR15","DOI":"10.1145\/289423.289441"},{"issue":"1\u20132","key":"25_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0166-8641(97)00226-5","volume":"89","author":"T Erker","year":"1998","unstructured":"Erker, T., Escard\u00f3, M., Keimel, K.: The way-below relation of function spaces over semantic domains. Topol. Appl. 89(1\u20132), 61\u201374 (1998)","journal-title":"Topol. Appl."},{"issue":"1","key":"25_CR17","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":"25_CR18","doi-asserted-by":"publisher","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. Cambridge University Press, Cambridge (2003)"},{"issue":"1","key":"25_CR19","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1111\/j.1749-6632.1996.tb49171.x","volume":"806","author":"A Jung","year":"1996","unstructured":"Jung, A., S\u00fcnderhauf, P.: On the duality of compact vs. open. Ann. New York Acad. Sci. 806(1), 214\u2013230 (1996)","journal-title":"Ann. New York Acad. Sci."},{"key":"25_CR20","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717716","volume-title":"Introduction to Interval Analysis","author":"R Moore","year":"2009","unstructured":"Moore, R., Kearfott, R., Cloud, M.: Introduction to Interval Analysis. Society for Industrial and Applied Mathematics, Philadelphia (2009)"},{"key":"25_CR21","volume-title":"Interval Analysis","author":"RE Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"doi-asserted-by":"crossref","unstructured":"Potts, P.J., Edalat, A., Escard\u00f3, M.: Semantics of exact real arithmetic. In: Twelfth Annual IEEE Symposium on Logic in Computer Science. IEEE (1997)","key":"25_CR22","DOI":"10.1109\/LICS.1997.614952"},{"key":"25_CR23","volume-title":"Computability in Analysis and Physics","author":"MB Pour-El","year":"1988","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Springer, New York (1988)"},{"key":"25_CR24","series-title":"LNM","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BFb0073967","volume-title":"Toposes, Algebraic Geometry and Logic","author":"DS Scott","year":"1972","unstructured":"Scott, D.S.: Continuous lattices. In: Lawvere, F.W. (ed.) Toposes, Algebraic Geometry and Logic. LNM, vol. 274, pp. 97\u2013136. Springer, Heidelberg (1972). \nhttps:\/\/doi.org\/10.1007\/BFb0073967"},{"key":"25_CR25","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0304-3975(77)90045-7","volume":"5","author":"MB Smyth","year":"1977","unstructured":"Smyth, M.B.: Effectively given domains. Theor. Comput. Sci. 5, 257\u2013274 (1977)","journal-title":"Theor. Comput. Sci."},{"key":"25_CR26","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-1-4471-3503-6_4","volume-title":"Theory and Formal Methods","author":"SJ Vickers","year":"1993","unstructured":"Vickers, S.J.: Geometric logic in computer science. In: Burn, G.L., Gay, S.J., Ryan, M.D. (eds.) Theory and Formal Methods, pp. 37\u201354. Springer, Heidelberg (1993). \nhttps:\/\/doi.org\/10.1007\/978-1-4471-3503-6_4"},{"key":"25_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis (An Introduction)","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis (An Introduction). Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/978-3-642-56999-9"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89366-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,13]],"date-time":"2018-04-13T20:00:15Z","timestamp":1523649615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89366-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319893655","9783319893662"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89366-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}