{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:13:56Z","timestamp":1775790836626,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540742548","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74255-5_22","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T04:19:00Z","timestamp":1188188340000},"page":"291-302","source":"Crossref","is-referenced-by-count":1,"title":["Delimited Continuations in Operating Systems"],"prefix":"10.1007","author":[{"given":"Oleg","family":"Kiselyov","sequence":"first","affiliation":[]},{"given":"Chung-chieh","family":"Shan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF01019459","volume":"6","author":"J.C. Reynolds","year":"1993","unstructured":"Reynolds, J.C.: The discoveries of continuations. Lisp and Symbolic Computation\u00a06, 233\u2013247 (1993)","journal-title":"Lisp and Symbolic Computation"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1023\/A:1010026413531","volume":"13","author":"C. Strachey","year":"2000","unstructured":"Strachey, C., Wadsworth, C.P.: Continuations: A mathematical semantics for handling full jumps. Higher-Order and Symbolic Computation\u00a013, 135\u2013152 (2000)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BF01019461","volume":"6","author":"M.J. Fischer","year":"1993","unstructured":"Fischer, M.J.: Lambda-calculus schemata. Lisp and Symbolic Computation\u00a06, 259\u2013288 (1993)","journal-title":"Lisp and Symbolic Computation"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Kelsey, R., Clinger, W.D., Rees, J., Abelson, H., Dybvig, R.K., Haynes, C.T., Rozas, G.J., Adams IV, N.I., Friedman, D.P., Kohlbecker, E., Steele, G.L., Bartley, D.H., Halstead, R., Oxley, D., Sussman, G.J., Brooks, G., Hanson, C., Pitman, K.M., Wand, M.: Revised5 report on the algorithmic language Scheme. Higher-Order and Symbolic Computation\u00a011, 7\u2013105 (1998), Also as ACM SIGPLAN Notices 33(9), 26\u201376","DOI":"10.1145\/290229.290234"},{"key":"22_CR5","unstructured":"Steele, Jr., G.L.: RABBIT: A compiler for SCHEME. Master\u2019s thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Also as Memo 474, Artificial Intelligence Laboratory, Massachusetts Institute of Technology (1978)"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10988-005-6580-7","volume":"29","author":"C.c. Shan","year":"2006","unstructured":"Shan, C.c., Barker, C.: Explaining crossover and superiority as left-to-right evaluation. Linguistics and Philosophy\u00a029, 91\u2013134 (2006)","journal-title":"Linguistics and Philosophy"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s10849-006-0541-6","volume":"15","author":"C. Barker","year":"2006","unstructured":"Barker, C., Shan, C.c.: Types as graphs: Continuations in type logical grammar. Journal of Logic, Language and Information\u00a015, 331\u2013370 (2006)","journal-title":"Journal of Logic, Language and Information"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Wand, M.: Continuation-based multiprocessing revisited. Higher-Order and Symbolic Computation, 283 (1999)","DOI":"10.1023\/A:1010049917750"},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"1577","DOI":"10.1002\/j.1538-7305.1984.tb00054.x","volume":"63","author":"D.M. Ritchie","year":"1984","unstructured":"Ritchie, D.M.: The Evolution of the Unix Time-sharing System. AT&T Bell Laboratories Technical Journal\u00a063, 1577\u20131593 (1984)","journal-title":"AT&T Bell Laboratories Technical Journal"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF01806126","volume":"3","author":"D. Sitaram","year":"1990","unstructured":"Sitaram, D., Felleisen, M.: Control delimiters and their hierarchies. Lisp and Symbolic Computation\u00a03, 67\u201399 (1990)","journal-title":"Lisp and Symbolic Computation"},{"key":"22_CR11","unstructured":"Kiselyov, O.: How to remove a dynamic prompt: Static and dynamic delimited continuation operators are equally expressible. Technical Report 611, Computer Science Department, Indiana University (2005)"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1145\/1086365.1086390","volume-title":"ICFP 2005: Proceedings of the ACM International Conference on Functional Programming","author":"O. Kiselyov","year":"2005","unstructured":"Kiselyov, O., Shan, C.c., Friedman, D.P., Sabry, A.: Backtracking, interleaving, and terminating monad transformers (functional pearl). In: ICFP 2005: Proceedings of the ACM International Conference on Functional Programming, pp. 192\u2013203. ACM Press, New York (2005)"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-57887-0_99","volume-title":"Theoretical Aspects of Computer Software","author":"R. Cartwright","year":"1994","unstructured":"Cartwright, R., Felleisen, M.: Extensible denotational language specifications. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol.\u00a0789, pp. 244\u2013272. Springer, Heidelberg (1994)"},{"issue":"2","key":"22_CR14","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1023\/A:1007782300874","volume":"10","author":"S. Kumar","year":"1998","unstructured":"Kumar, S., Bruggeman, C., Dybvig, R.K.: Threads yield continuations. Lisp and Symbolic Computation\u00a010(2), 223\u2013236 (1998)","journal-title":"Lisp and Symbolic Computation"},{"key":"22_CR15","first-page":"128","volume-title":"Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"R.K. Dybvig","year":"1990","unstructured":"Dybvig, R.K., Hieb, R.: Continuations and concurrency. In: Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 128\u2013136. ACM Press, New York (1990)"},{"issue":"2","key":"22_CR16","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0096-0551(89)90018-0","volume":"14","author":"R.K. Dybvig","year":"1989","unstructured":"Dybvig, R.K., Hieb, R.: Engines from continuations. Journal of Computer Languages\u00a014(2), 109\u2013123 (1989)","journal-title":"Journal of Computer Languages"},{"key":"22_CR17","volume-title":"Proceedings of the Second ACM SIGPLAN Workshop on Continuations","author":"O. Shivers","year":"1997","unstructured":"Shivers, O.: Continuations and threads: Expressing machine concurrency directly in advanced languages. In: Proceedings of the Second ACM SIGPLAN Workshop on Continuations, ACM Press, New York (1997)"},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0096-0551(86)90007-X","volume":"11","author":"C.T. Haynes","year":"1986","unstructured":"Haynes, C.T., Friedman, D.P., Wand, M.: Obtaining coroutines with continuations. Journal of Computer Languages\u00a011, 143\u2013153 (1986)","journal-title":"Journal of Computer Languages"},{"key":"22_CR19","unstructured":"Li, P., Zdancewic, S.: A language-based approach to unifying events and threads (2006), http:\/\/www.cis.upenn.edu\/~stevez\/papers\/LZ06b.pdf"},{"key":"22_CR20","unstructured":"Adya, A., Howell, J., Theimer, M., Bolosky, W.J., Douceur, J.R.: Cooperative task management without manual stack management, or, event-driven programming is not the opposite of threaded programming. In: Proceedings of the 2002 USENIX Annual Technical Conference, USENIX, pp. 289\u2013302 (2002)"},{"key":"22_CR21","unstructured":"Sumii, E.: An implementation of transparent migration on standard Scheme. In: Felleisen, M. (ed.) Proceedings of the Workshop on Scheme and Functional Programming. Number 00-368 in Tech. Rep. Department of Computer Science, Rice University, pp. 61\u201363 (2000)"},{"key":"22_CR22","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1086365.1086370","volume-title":"ICFP 2005: Proceedings of the ACM International Conference on Functional Programming","author":"P. Sewell","year":"2005","unstructured":"Sewell, P., Leifer, J.J., Wansbrough, K., Zappa Nardelli, F., Allen-Williams, M., Habouzit, P., Vafeiadis, V.: Acute: High-level programming language design for distributed computation. In: ICFP 2005: Proceedings of the ACM International Conference on Functional Programming, pp. 15\u201326. ACM Press, New York (2005)"},{"key":"22_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/11538363_6","volume-title":"Computer Science Logic","author":"T. Murphy VII","year":"2005","unstructured":"Murphy VII, T., Crary, K., Harper, R.: Distributed control flow with classical modal logic. In: Ong, C.H.L. (ed.) CSL 2005. LNCS, vol.\u00a03634, pp. 51\u201369. Springer, Heidelberg (2005)"},{"key":"22_CR24","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10990-004-4866-z","volume":"17","author":"C. Queinnec","year":"2004","unstructured":"Queinnec, C.: Continuations and web servers. Higher-Order and Symbolic Computation\u00a017, 277\u2013295 (2004)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Graunke, P.T.: Web Interactions. PhD thesis, College of Computer Science, Northeastern University (2003)","DOI":"10.1007\/3-540-36575-3_17"},{"key":"22_CR26","unstructured":"Colomba, A.: SISCweb: A framework to facilitate writing stateful Scheme web applications in a J2EE environment (2007), http:\/\/siscweb.sf.net\/"},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"Balat, V., et\u00a0al.: Ocsigen: A Web server and a programming framework providing a new way to create dynamic Web sites (2007), http:\/\/www.ocsigen.org","DOI":"10.1145\/1159876.1159889"},{"key":"22_CR28","unstructured":"Belapurkar, A.: Use continuations to develop complex Web applications. IBM developerWorks (2004)"},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"Krishnamurthi, S., Hopkins, P.W., McCarthy, J., Graunke, P.T., Pettyjohn, G., Felleisen, M.: Implementation and use of the PLT Scheme Web server. Higher-Order and Symbolic Computation (2007)","DOI":"10.1007\/s10990-007-9008-y"},{"key":"22_CR30","unstructured":"Williams, N.J.: An implementation of scheduler activations on the NetBSD operating system. In: Proceedings of the FREENIX Track: USENIX Annual Technical Conference, Berkeley, CA, USENIX (2002) pp. 99\u2013108 (2002)"},{"key":"22_CR31","unstructured":"Shieh, A., Myers, A., Sirer, E.G.: Trickles: A stateless transport protocol. Summaries of OSDI 2004. USENIX;login (2004) 6th Symposium on Operating Systems Design and Implementation, OSDI 2004. vol. 30(2) p. 66, Work-in-Progress Reports (2005)"},{"key":"22_CR32","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/1086365.1086380","volume-title":"Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005","author":"T. Hallgren","year":"2005","unstructured":"Hallgren, T., Jones, M.P., Leslie, R., Tolmach, A.P.: A principled approach to operating system construction in Haskell. In: Danvy, O., Pierce, B.C. (eds.) Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 116\u2013128. ACM Press, New York (2005)"},{"key":"22_CR33","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BF01018827","volume":"8","author":"J. Launchbury","year":"1995","unstructured":"Launchbury, J., Peyton Jones, S.L.: State in Haskell. Lisp and Symbolic Computation\u00a08, 293\u2013341 (1995)","journal-title":"Lisp and Symbolic Computation"},{"key":"22_CR34","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1017\/S0956796801004154","volume":"11","author":"E. Moggi","year":"2001","unstructured":"Moggi, E., Sabry, A.: Monadic encapsulation of effects: A revised approach (extended version). Journal of Functional Programming\u00a011, 591\u2013627 (2001)","journal-title":"Journal of Functional Programming"},{"key":"22_CR35","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/773184.773202","volume-title":"Proceedings of the 3rd International Conference on Principles and Practice of Declarative Programming","author":"O. Danvy","year":"2001","unstructured":"Danvy, O., Nielsen, L.R.: Defunctionalization at work. In: Proceedings of the 3rd International Conference on Principles and Practice of Declarative Programming, pp. 162\u2013174. ACM Press, New York (2001)"},{"key":"22_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/11563228_21","volume-title":"Computer Safety, Reliability, and Security","author":"J.H. Nystr\u00f6m","year":"2005","unstructured":"Nystr\u00f6m, J.H., Trinder, P.W., King, D.J.: Are high-level languages suitable for robust telecoms software? In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol.\u00a03688, pp. 275\u2013288. Springer, Heidelberg (2005)"},{"key":"22_CR37","unstructured":"Kiselyov, O.: General ways to traverse collections (2004), http:\/\/okmij.org\/ftp\/Scheme\/enumerators-callcc.html http:\/\/okmij.org\/ftp\/Computation\/Continuations.html"},{"key":"22_CR38","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1017\/S0956796897002864","volume":"7","author":"G. Huet","year":"1997","unstructured":"Huet, G.: The zipper. Journal of Functional Programming\u00a07, 549\u2013554 (1997)","journal-title":"Journal of Functional Programming"},{"key":"22_CR39","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010016816429","volume":"12","author":"W.D. Clinger","year":"1999","unstructured":"Clinger, W.D., Hartheimer, A., Ost, E.M.: Implementation strategies for continuations. Higher-Order and Symbolic Computation\u00a012, 7\u201345 (1999)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"22_CR40","volume-title":"ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation","author":"C. Bruggeman","year":"1996","unstructured":"Bruggeman, C., Waddell, O., Dybvig, R.K.: Representing control in the presence of one-shot continuations. In: ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, ACM Press, New York (1996)"},{"key":"22_CR41","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/581478.581504","volume-title":"ICFP 2002: Proceedings of the ACM International Conference on Functional Programming","author":"M. Gasbichler","year":"2002","unstructured":"Gasbichler, M., Sperber, M.: Final shift for call\/cc: Direct implementation of shift and reset. In: ICFP 2002: Proceedings of the ACM International Conference on Functional Programming, pp. 271\u2013282. ACM Press, New York (2002)"},{"key":"22_CR42","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/1159842.1159850","volume-title":"Haskell 2006: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell","author":"P. Derrin","year":"2006","unstructured":"Derrin, P., Elphinstone, K., Klein, G., Cock, D., Chakravarty, M.M.T.: Running the manual: an approach to high-assurance microkernel development. In: Haskell 2006: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, pp. 60\u201371. ACM Press, New York (2006)"},{"key":"22_CR43","doi-asserted-by":"crossref","unstructured":"Jones, I., et\u00a0al.: Halfs, a Haskell filesystem (2006), http:\/\/www.haskell.org\/halfs\/","DOI":"10.1145\/1088348.1088360"},{"key":"22_CR44","doi-asserted-by":"crossref","unstructured":"Ernst, E.: Method mixins. Report PB-557, Department of Computer Science, University of Aarhus, Denmark (2002)","DOI":"10.7146\/dpb.v31i557.7114"},{"key":"22_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11737414_2","volume-title":"Functional and Logic Programming","author":"P. Roy Van","year":"2006","unstructured":"Van Roy, P.: Convergence in language design: A case of lightning striking four times in the same place. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 2\u201312. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74255-5_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:20:06Z","timestamp":1605745206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74255-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540742548"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74255-5_22","relation":{},"subject":[]}}