{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:41:06Z","timestamp":1725565266189},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223818"},{"type":"electronic","value":"9783540278153"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27815-3_34","type":"book-chapter","created":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T04:32:16Z","timestamp":1284438736000},"page":"443-459","source":"Crossref","is-referenced-by-count":10,"title":["Generic Exception Handling and the Java Monad"],"prefix":"10.1007","author":[{"given":"Lutz","family":"Schr\u00f6der","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","volume-title":"Toposes, triples and theories","author":"M. Barr","year":"1984","unstructured":"Barr, M., Wells, C.: Toposes, triples and theories. Springer, Heidelberg (1984)"},{"key":"34_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b11968","volume-title":"Casl user manual","author":"M. Bidoit","year":"2004","unstructured":"Bidoit, M., Mosses, P.D.: CASL User Manual. LNCS, vol.\u00a02900. Springer, Heidelberg (2004)"},{"key":"34_CR3","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1017\/S0956796899003342","volume":"9","author":"K. Claessen","year":"1999","unstructured":"Claessen, K.: A poor man\u2019s concurrency monad. J. Funct. Programming\u00a09, 313\u2013323 (1999)","journal-title":"J. Funct. Programming"},{"issue":"10","key":"34_CR4","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Communications of the ACM"},{"key":"34_CR5","unstructured":"Huisman, M.: Java program verification in higher order logic with PVS and Isabelle, Ph.D. thesis, University of Nijmegen (2001)"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/3-540-44659-1_19","volume-title":"Theorem Proving in Higher Order Logics","author":"M. Huisman","year":"2000","unstructured":"Huisman, M., Jacobs, B.: Inheritance in higher order logic: Modeling and reasoning. In: Aagaard, M.D., Harrison, J. (eds.) TPHOLs 2000. LNCS, vol.\u00a01869, pp. 301\u2013319. Springer, Heidelberg (2000)"},{"key":"34_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/3-540-46428-X_20","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Huisman","year":"2000","unstructured":"Huisman, M., Jacobs, B.: Java program verification via a Hoare logic with abrupt termination. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol.\u00a01783, pp. 284\u2013303. Springer, Heidelberg (2000)"},{"key":"34_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/3-540-45314-8_21","volume-title":"Fundamental Approaches to Software Engineering","author":"B. Jacobs","year":"2001","unstructured":"Jacobs, B., Poll, E.: A logic for the Java Modeling Language JML. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 284\u2013299. Springer, Heidelberg (2001)"},{"key":"34_CR9","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/S0304-3975(02)00366-3","volume":"291","author":"B. Jacobs","year":"2003","unstructured":"Jacobs, B., Poll, E.: Coalgebras and Monads in the Semantics of Java. Theoret. Comput. Sci.\u00a0291, 329\u2013349 (2003)","journal-title":"Theoret. Comput. Sci."},{"key":"34_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/3-540-17162-2_126","volume-title":"Category Theory and Computer Programming","author":"E. Moggi","year":"1986","unstructured":"Moggi, E.: Categories of partial morphisms and the \u03bbp-calculus. In: Poign\u00e9, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Category Theory and Computer Programming. LNCS, vol.\u00a0240, pp. 242\u2013251. Springer, Heidelberg (1986)"},{"key":"34_CR11","unstructured":"Moggi, E.: An abstract view of programming languages, Tech. Report ECS-LFCS- 90-113, Univ. of Edinburgh (1990)"},{"key":"34_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inform. and Comput.\u00a093, 55\u201392 (1991)","journal-title":"Inform. and Comput."},{"key":"34_CR13","volume-title":"Proc. Marktobderdorf Summer School 2003","author":"T. Nipkow","year":"2003","unstructured":"Nipkow, T.: Jinja: Towards a comprehensive formal semantics for a Java-like language. In: Proc. Marktobderdorf Summer School 2003, IOS Press, Amsterdam (2003) (to appear)"},{"key":"34_CR14","series-title":"Proof and System-Reliability","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/3-540-45949-9","volume-title":"Hoare logics in Isabelle\/HOL","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T.: Hoare logics in Isabelle\/HOL. Proof and System-Reliability, pp. 341\u2013367. Kluwer, Dordrecht (2002)"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Peyton-Jones, S. (ed.): Haskell 98 language and libraries \u2014 the revised report, Cambridge, 2003, also: J. Funct. Programming 13 (2003)","DOI":"10.1017\/S0956796803001515"},{"key":"34_CR16","series-title":"Principles of Programming Languages","first-page":"295","volume-title":"Concurrent Haskell","author":"S. Peyton Jones","year":"1996","unstructured":"Peyton Jones, S., Gordon, A., Finne, S.: Concurrent Haskell. Principles of Programming Languages, pp. 295\u2013308. ACM Press, New York (1996)"},{"key":"34_CR17","series-title":"Principles of Programming Languages","first-page":"71","volume-title":"Imperative functional programming","author":"S. Peyton Jones","year":"1993","unstructured":"Peyton Jones, S., Wadler, P.: Imperative functional programming. Principles of Programming Languages, pp. 71\u201384. ACM Press, New York (1993)"},{"key":"34_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-45931-6_24","volume-title":"Foundations of Software Science and Computation Structures","author":"G. Plotkin","year":"2002","unstructured":"Plotkin, G., Power, J.: Notions of computation determine monads. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"key":"34_CR19","doi-asserted-by":"crossref","unstructured":"Schr\u00f6der, L.: Classifying categories for partial equational logic, Category Theory and Computer Science, ENTCS, 69 (2002)","DOI":"10.1016\/S1571-0661(04)80571-1"},{"key":"34_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1007\/978-3-540-45220-1_40","volume-title":"Computer Science Logic","author":"L. Schr\u00f6der","year":"2003","unstructured":"Schr\u00f6der, L.: Henkin models of the partial \u03bb-calculus. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 498\u2013512. Springer, Heidelberg (2003)"},{"key":"34_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-540-40020-2_25","volume-title":"Recent Trends in Algebraic Development Techniques","author":"L. Schr\u00f6der","year":"2003","unstructured":"Schr\u00f6der, L., Mossakowski, T.: Monad-independent dynamic logic in HasCasl. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 425\u2013441. Springer, Heidelberg (2003)"},{"key":"34_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45719-4_8","volume-title":"Algebraic Methodology and Software Technology","author":"L. Schr\u00f6der","year":"2002","unstructured":"Schr\u00f6der, L., Mossakowski, T.: HasCasl: Towards integrated specification and development of functional programs. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 99\u2013116. Springer, Heidelberg (2002)"},{"key":"34_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/3-540-36578-8_19","volume-title":"Fundamental Approaches to Software Engineering","author":"L. Schr\u00f6der","year":"2003","unstructured":"Schr\u00f6der, L., Mossakowski, T.: Monad-independent Hoare logic in HasCasl. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 261\u2013277. Springer, Heidelberg (2003)"},{"key":"34_CR24","unstructured":"Schr\u00f6der, L., Mossakowski, T., Maeder, C.: HasCasl \u2013 Integrated functional specification and programming. Language summary, Available at http:\/\/www.informatik.uni-bremen.de\/agbkb\/forschung\/formal_methods\/CoFI\/HasCASL"},{"key":"34_CR25","unstructured":"Thielecke, H.: Categorical structure of continuation passing style, Ph.D. thesis, University of Edinburgh (1997)"},{"key":"34_CR26","doi-asserted-by":"publisher","first-page":"1173","DOI":"10.1002\/cpe.598","volume":"13","author":"D. Oheimb von","year":"2001","unstructured":"von Oheimb, D.: Hoare logic for Java in Isabelle\/HOL. Concurrency and Computation: Practice and Experience\u00a013, 1173\u20131214 (2001)","journal-title":"Concurrency and Computation: Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27815-3_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:22:30Z","timestamp":1605759750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27815-3_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223818","9783540278153"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27815-3_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}