{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:04:04Z","timestamp":1725516244053},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705932"},{"type":"electronic","value":"9783540705949"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70594-9_10","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T12:07:43Z","timestamp":1218542863000},"page":"153-176","source":"Crossref","is-referenced-by-count":2,"title":["Asynchronous Exceptions as an Effect"],"prefix":"10.1007","author":[{"given":"William L.","family":"Harrison","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerard","family":"Allwein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Gill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Procter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"International Series in Computer Science","volume-title":"Mathematical Theory of Program Correctness","author":"J.W. Bakker de","year":"1980","unstructured":"de Bakker, J.W.: Mathematical Theory of Program Correctness. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1980)"},{"issue":"2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.ic.2004.06.001","volume":"194","author":"K. Chatterjee","year":"2004","unstructured":"Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T.A., Palsberg, J.: Stack size analysis for interrupt-driven programs. Inf. Comput.\u00a0194(2), 144\u2013174 (2004)","journal-title":"Inf. Comput."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: A lightweight tool for random testing of Haskell programs. In: Proc. of International Conference on Functional Programming (ICFP), ACM SIGPLAN (2000)","DOI":"10.1145\/351240.351266"},{"issue":"2","key":"10_CR4","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/1055218.1055219","volume":"39","author":"E.W. Dijkstra","year":"2005","unstructured":"Dijkstra, E.W.: My recollections of operating system design. SIGOPS Oper. Syst. Rev.\u00a039(2), 4\u201340 (2005)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1145\/1159803.1159823","volume-title":"ICFP 2006: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming","author":"M. Dowse","year":"2006","unstructured":"Dowse, M., Butterfield, A.: Modelling deterministic concurrent I\/O. In: ICFP 2006: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, pp. 148\u2013159. ACM, New York (2006)"},{"key":"10_CR6","unstructured":"Espinosa, D.: Semantic Lego. PhD thesis, Columbia University (1995)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/1086365.1086380","volume-title":"Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP05)","author":"T. Hallgren","year":"2005","unstructured":"Hallgren, T., Jones, M.P., Leslie, R., Tolmach, A.: A principled approach to operating system construction in Haskell. In: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP05), pp. 116\u2013128. ACM Press, New York (2005)"},{"key":"10_CR8","unstructured":"Harrison, W.: The Asynchronous Exceptions As An Effect Codebase, www.cs.missouri.edu\/~harrisonwl\/AsynchronousExceptions"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/11784180_14","volume-title":"Algebraic Methodology and Software Technology","author":"W. Harrison","year":"2006","unstructured":"Harrison, W.: The Essence of Multitasking. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 158\u2013172. Springer, Heidelberg (2006)"},{"key":"10_CR10","unstructured":"Harrison, W., Hook, J.: Achieving information flow security through monadic control of effects. Invited submission to: Journal of Computer Security, 46 (accepted, 2008)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/10722010_14","volume-title":"Mathematics of Program Construction","author":"W. Harrison","year":"2000","unstructured":"Harrison, W., Kamin, S.: Metacomputation-based compiler architecture. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol.\u00a01837, pp. 213\u2013229. Springer, Heidelberg (2000)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Hughes, J., O\u2019Donnell, J.: Nondeterministic functional programming with sets. In: Proceedings of the 1990 Banf Conference on Higher Order Reasoning (1990)","DOI":"10.1007\/978-1-4471-3182-3_2"},{"issue":"6","key":"10_CR13","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1017\/S0956796807006363","volume":"17","author":"G. Hutton","year":"2007","unstructured":"Hutton, G., Wright, J.: What is the Meaning of These Constant Interruptions? Journal of Functional Programming\u00a017(6), 777\u2013792 (2007)","journal-title":"Journal of Functional Programming"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/1250734.1250756","volume-title":"PLDI 2007: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation","author":"P. Li","year":"2007","unstructured":"Li, P., Zdancewic, S.: Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives. In: PLDI 2007: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, pp. 189\u2013199. ACM Press, New York (2007)"},{"key":"10_CR15","unstructured":"Liang, S.: Modular Monadic Semantics and Compilation. PhD thesis, Yale University (1998)"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/199448.199528","volume-title":"Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","author":"S. Liang","year":"1995","unstructured":"Liang, S., Hudak, P., Jones, M.: Monad transformers and modular interpreters. In: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 333\u2013343. ACM Press, New York (1995)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Marlow, S., Peyton Jones, S., Moran, A., Reppy, J.: Asynchronous exceptions in Haskell. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 274\u2013285 (2001)","DOI":"10.1145\/378795.378858"},{"key":"10_CR18","unstructured":"Moggi, E.: An Abstract View of Programming Languages. Technical Report ECS-LFCS-90-113, Department of Computer Science, Edinburgh University (1990)"},{"issue":"1","key":"10_CR19","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. Inf. Comput.\u00a093(1), 55\u201392 (1991)","journal-title":"Inf. Comput."},{"issue":"2","key":"10_CR20","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.scico.2006.01.008","volume":"65","author":"J.M. Morris","year":"2007","unstructured":"Morris, J.M., Tyrrell, M.: Terms with unbounded demonic and angelic nondeterminacy. Sci. Comput. Program.\u00a065(2), 159\u2013172 (2007)","journal-title":"Sci. Comput. Program."},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/3-540-45739-9_18","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J. Palsberg","year":"2002","unstructured":"Palsberg, J., Ma, D.: A Typed Interrupt Calculus. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 291\u2013310. Springer, Heidelberg (2002)"},{"key":"#cr-split#-10_CR22.1","unstructured":"Papaspyrou, N.S.: A Resumption Monad Transformer and its Applications in the Semantics of Concurrency. In: Proceedings of the 3rd Panhellenic Logic Symposium (2001);"},{"key":"#cr-split#-10_CR22.2","unstructured":"Expanded version available as a tech. report from the author by request"},{"key":"10_CR23","series-title":"NATO Science Series","first-page":"47","volume-title":"Engineering Theories of Software Construction","author":"S. Peyton Jones","year":"2000","unstructured":"Peyton Jones, S.: Tackling the Awkward Squad: Monadic Input\/Output, Concurrency, Exceptions, and Foreign-language Calls in Haskell. In: Engineering Theories of Software Construction. NATO Science Series, vol.\u00a0III 180, pp. 47\u201396. IOS Press, Amsterdam (2000)"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S., Reid, A., Hoare, C.A.R., Marlow, S., Henderson, F.: A semantics for imprecise exceptions. In: Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation, pp. 25\u201336 (May 1999)","DOI":"10.1145\/301618.301637"},{"key":"10_CR25","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/158511.158524","volume-title":"Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","author":"S. Peyton Jones","year":"1993","unstructured":"Peyton Jones, S., Wadler, P.: Imperative functional programming. In: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 71\u201384. ACM Press, New York (1993)"},{"issue":"3","key":"10_CR26","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G.D. Plotkin","year":"1976","unstructured":"Plotkin, G.D.: A Powerdomain Construction. SIAM Journal of Computation\u00a05(3), 452\u2013487 (1976)","journal-title":"SIAM Journal of Computation"},{"key":"10_CR27","volume-title":"Denotational Semantics: A Methodology for Language Development","author":"D.A. Schmidt","year":"1986","unstructured":"Schmidt, D.A.: Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Boston (1986)"},{"issue":"1","key":"10_CR28","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M.B. Smyth","year":"1978","unstructured":"Smyth, M.B.: Powerdomains. Journal of Computer and System Sciences\u00a016(1), 23\u201336 (1978)","journal-title":"Journal of Computer and System Sciences"},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1291201.1291206","volume-title":"Haskell 2007: Proceedings of the ACM SIGPLAN workshop on Haskell workshop","author":"W. Swierstra","year":"2007","unstructured":"Swierstra, W., Altenkirch, T.: Beauty in the beast. In: Haskell 2007: Proceedings of the ACM SIGPLAN workshop on Haskell workshop, pp. 25\u201336. ACM, New York (2007)"},{"key":"10_CR30","unstructured":"Tolmach, A., Antoy, S.: A monadic semantics for core curry. In: Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming (June 2003)"},{"key":"10_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/143165.143169","volume-title":"Proceedings of the 19th Symposium on Principles of Programming Languages (POPL)","author":"P. Wadler","year":"1992","unstructured":"Wadler, P.: The essence of functional programming. In: Proceedings of the 19th Symposium on Principles of Programming Languages (POPL), pp. 1\u201314. ACM Press, New York (1992)"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70594-9_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:08:29Z","timestamp":1605744509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70594-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705932","9783540705949"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70594-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}