{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:18:50Z","timestamp":1725560330590},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540286202"},{"type":"electronic","value":"9783540318767"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11548133_27","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T20:07:40Z","timestamp":1279742860000},"page":"424-438","source":"Crossref","is-referenced-by-count":3,"title":["Parametrized Exceptions"],"prefix":"10.1007","author":[{"given":"Dennis","family":"Walter","sequence":"first","affiliation":[]},{"given":"Lutz","family":"Schr\u00f6der","sequence":"additional","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","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"},{"key":"27_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/3-540-45931-6_11","volume-title":"Foundations of Software Science and Computation Structures","author":"C. F\u00fchrmann","year":"2002","unstructured":"F\u00fchrmann, C.: Varieties of effects. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 144\u2013158. Springer, Heidelberg (2002)"},{"key":"27_CR3","unstructured":"The Haskell mailing list (2002), http:\/\/www.haskell.org\/mailinglist.html"},{"key":"27_CR4","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":"27_CR5","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":"27_CR6","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":"27_CR7","volume-title":"The Java language specification","author":"B. Joy","year":"2000","unstructured":"Joy, B., Steele, G., Gosling, J., Bracha, G.: The Java language specification. Addison-Wesley, Reading (2000)"},{"key":"27_CR8","unstructured":"Moggi, E.: An abstract view of programming languages, Tech. Report ECS-LFCS-90-113, Univ. of Edinburgh (1990)"},{"key":"27_CR9","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":"27_CR10","unstructured":"Mossakowski, T.: Heterogeneous specification and the heterogeneous tool set, Habilitation thesis, University of Bremen (2005)"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Peyton-Jones, S. (ed.): Haskell 1998 language and libraries \u2014 the revised report, Cambridge (2003) also J. Funct. Programming 13 (2003)","DOI":"10.1017\/S0956796803001515"},{"key":"27_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-60275-5_72","volume-title":"Higher Order Logic Theorem Proving and Its Applications","author":"F. Regensburger","year":"1995","unstructured":"Regensburger, F.: HOLCF: Higher order logic of computable functions. In: Schubert, E.T., Alves-Foss, J., Windley, P. (eds.) HUG 1995. LNCS, vol.\u00a0971, pp. 293\u2013307. Springer, Heidelberg (1995)"},{"key":"27_CR13","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":"27_CR14","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":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-540-27815-3_34","volume-title":"Algebraic Methodology and Software Technology","author":"L. Schr\u00f6der","year":"2004","unstructured":"Schr\u00f6der, L., Mossakowski, T.: Generic exception handling and the Java monad. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 443\u2013459. Springer, Heidelberg (2004)"},{"key":"27_CR16","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1093\/logcom\/14.4.571","volume":"14","author":"L. Schr\u00f6der","year":"2004","unstructured":"Schr\u00f6der, L., Mossakowski, T.: Monad-independent dynamic logic in HasCASL. J. Logic Comput.\u00a014, 571\u2013619 (2004)","journal-title":"J. Logic Comput."},{"key":"27_CR17","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":"27_CR18","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1145\/262009.262011","volume":"29","author":"P. Wadler","year":"1997","unstructured":"Wadler, P.: How to declare an imperative. ACM Computing Surveys\u00a029, 240\u2013263 (1997)","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11548133_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:40:48Z","timestamp":1605642048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11548133_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540286202","9783540318767"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11548133_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}