{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:35:19Z","timestamp":1743111319740,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205371"},{"type":"electronic","value":"9783540400202"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40020-2_25","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T22:42:34Z","timestamp":1277332954000},"page":"425-441","source":"Crossref","is-referenced-by-count":6,"title":["Monad-Independent Dynamic Logic in HasCasl"],"prefix":"10.1007","author":[{"given":"Lutz","family":"Schr\u00f6der","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0304-3975(01)00368-1","volume":"286","author":"E. Astesiano","year":"2002","unstructured":"Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Br\u00fcckner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl: the Common Algebraic Specification Language. Theoret. Comput. Sci.\u00a0286, 153\u2013196 (2002)","journal-title":"Theoret. Comput. Sci."},{"key":"25_CR2","unstructured":"CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives, http:\/\/www.brics.dk\/Projects\/CoFI"},{"key":"25_CR3","unstructured":"CoFI Language Design Task Group. Casl \u2013 The CoFI Algebraic Specification Language \u2013 Summary, version 1.0. Documents\/CASL\/Summary. In: [2] (July 1999)"},{"key":"25_CR4","unstructured":"The Haskell mailing list (2002), http:\/\/www.haskell.org\/mailinglist.html"},{"key":"25_CR5","unstructured":"Jones, S.P., Hughes, J., Augustsson, L., Barton, D., Boutel, B., Burton, W., Fasel, J., Hammond, K., Hinze, R., Hudak, P., Johnsson, T., Jones, M., Launchbury, J., Meijer, E., Peterson, J., Reid, A., Runciman, C., Wadler, P.: Haskell 98: A non-strict, purely functional language (1999), http:\/\/www.haskell.org\/onlinereport"},{"key":"25_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-96753-4","volume-title":"The Foundations of Program Verification","author":"J. Loeckx","year":"1987","unstructured":"Loeckx, J., Sieber, K.: The Foundations of Program Verification. Wiley, Chichester (1987)"},{"key":"25_CR7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1997","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1997)"},{"key":"25_CR8","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":"25_CR9","doi-asserted-by":"crossref","first-page":"117","DOI":"10.3233\/FI-1995-22126","volume":"22","author":"E. Moggi","year":"1995","unstructured":"Moggi, E.: A semantics for evaluation logic. Fund. Inform.\u00a022, 117\u2013152 (1995)","journal-title":"Fund. Inform."},{"key":"25_CR10","series-title":"Workshops in Computing","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/978-1-4471-3182-3_11","volume-title":"Higher Order Workshop","author":"A. Pitts","year":"1991","unstructured":"Pitts, A.: Evaluation logic. In: Higher Order Workshop. Workshops in Computing, pp. 162\u2013189. Springer, Heidelberg (1991)"},{"key":"25_CR11","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":"25_CR12","volume-title":"Theoretical Aspects of Reasoning about Knowledge","author":"G. Plotkin","year":"1986","unstructured":"Plotkin, G., Stirling, C.: A framework for intuitionistic modal logic. In: Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann, San Francisco (1986)"},{"key":"25_CR13","first-page":"109","volume-title":"Foundations of Computer Science","author":"V. Pratt","year":"1976","unstructured":"Pratt, V.: Semantical considerations on Floyd-Hoare logic. In: Foundations of Computer Science, pp. 109\u2013121. IEEE, Los Alamitos (1976)"},{"key":"25_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"25_CR15","doi-asserted-by":"crossref","unstructured":"Schr\u00f6der, L.: Classifying categories for partial equational logic. In: Category Theory and Computer Science. ENTCS, vol.\u00a069 (2002)","DOI":"10.1016\/S1571-0661(04)80571-1"},{"key":"25_CR16","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":"25_CR17","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":"25_CR18","first-page":"403","volume-title":"To H.B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalisms","author":"D.S. Scott","year":"1980","unstructured":"Scott, D.S.: Relating theories of the \u03bb-calculus. In: To H.B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalisms, pp. 403\u2013450. Academic Press, London (1980)"},{"key":"25_CR19","unstructured":"Simpson, A.K.: The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh (1994)"},{"key":"25_CR20","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","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40020-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T02:47:43Z","timestamp":1591411663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40020-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205371","9783540400202"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40020-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}