{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:03:10Z","timestamp":1760043790467},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642310560"},{"type":"electronic","value":"9783642310577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31057-7_12","type":"book-chapter","created":{"date-parts":[[2012,6,28]],"date-time":"2012-06-28T11:17:41Z","timestamp":1340882261000},"page":"233-257","source":"Crossref","is-referenced-by-count":28,"title":["Pause \u2019n\u2019 Play: Formalizing Asynchronous C $^\\sharp$"],"prefix":"10.1007","author":[{"given":"Gavin","family":"Bierman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geoffrey","family":"Mainland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Meijer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mads","family":"Torgersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Adya, A., Howell, J., Theimer, M., Bolosky, W.J., Douceur, J.R.: Cooperative task management without manual stack management. In: Proceedings of USENIX (2002)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bierman, G., Meijer, E., Torgersen, M.: Lost in translation: Formalizing proposed extensions to C\n                    \n                      \n                    \n                    $^{\\sharp}$\n                  . In: Proceedings of OOPSLA (2007)","DOI":"10.1145\/1297027.1297063"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-14107-2_5","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"G. Bierman","year":"2010","unstructured":"Bierman, G., Meijer, E., Torgersen, M.: Adding Dynamic Types to C\n                    \n                      \n                    \n                    $^\\sharp$\n                  . In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 76\u2013100. Springer, Heidelberg (2010)"},{"key":"12_CR4","unstructured":"Bierman, G., Parkinson, M., Pitts, A.: MJ: An imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge Computer Laboratory (2003)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bruggeman, C., Waddell, O., Dybvig, R.K.: Representing control in the presence of one-shot continuations. In: Proceedings of PLDI (1996)","DOI":"10.1145\/231379.231395"},{"key":"12_CR6","unstructured":"Duff, T.: Re: Explanation, please! (August 1988), USENET Article"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Dunkels, A., Schmidt, O., Voigt, T., Ali, M.: Protothreads: Simplifying Event-Driven programming of Memory-Constrained embedded systems. In: Proceedings of SenSys (2006)","DOI":"10.1145\/1182807.1182811"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Fischer, J., Majumdar, R., Millstein, T.: Tasks: language support for event-driven programming. In: Proceedings of PEPM (2007)","DOI":"10.1145\/1244381.1244403"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Sabry, A., Duba, B., Felleisen, M.: The essence of compiling with continuations. In: Proceedings of PLDI (1993)","DOI":"10.1145\/155090.155113"},{"key":"12_CR10","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: A programmer\u2019s reduction semantics for classes and mixins. Technical Report TR-97-293, Rice University (1997)"},{"issue":"2-3","key":"12_CR11","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.tcs.2008.09.019","volume":"410","author":"P. Haller","year":"2009","unstructured":"Haller, P., Odersky, M.: Scala actors: Unifying thread-based and event-based programming. Theoretical Computer Science\u00a0410(2-3), 202\u2013220 (2009)","journal-title":"Theoretical Computer Science"},{"key":"12_CR12","unstructured":"Hejlsberg, A., Torgersen, M., Wiltamuth, S., Golde, P.: The C\n                    \n                      \n                    \n                    $^\\sharp$\n                   Programming Language, 4th edn. Addison-Wesley (2011)"},{"issue":"3","key":"12_CR13","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"issue":"2","key":"12_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/850657.850658","volume":"13","author":"H.C. Lauer","year":"1979","unstructured":"Lauer, H.C., Needham, R.M.: On the duality of operating system structures. Operating Systems Review\u00a013(2), 3\u201319 (1979)","journal-title":"Operating Systems Review"},{"key":"12_CR15","unstructured":"Li, P., Zdancewic, S.: Combining events and threads for scalable network services. In: Proceedings of PLDI (2007)"},{"key":"12_CR16","unstructured":"Microsoft\u00a0Corporation. C# language specification for asynchronous functions (2011), \n                    \n                      http:\/\/msdn.microsoft.com\/en-us\/vstudio\/async"},{"key":"12_CR17","unstructured":"Ousterhout, J.K.: Why threads are a bad idea (for most purposes). In: USENIX Winter Technical Conference, Invited Talk (June 1996)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Pierce, B., Turner, D.: Local type inference. In: Proceedings of POPL (1998)","DOI":"10.1145\/268946.268967"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Rompf, T., Maier, I., Odersky, M.: Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. In: Proceedings of ICFP (2009)","DOI":"10.1145\/1596550.1596596"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-18378-2_15","volume-title":"Practical Aspects of Declarative Languages","author":"D. Syme","year":"2011","unstructured":"Syme, D., Petricek, T., Lomov, D.: The F# Asynchronous Programming Model. In: Rocha, R., Launchbury, J. (eds.) PADL 2011. LNCS, vol.\u00a06539, pp. 175\u2013189. Springer, Heidelberg (2011)"},{"key":"12_CR21","unstructured":"Tatham, S.: Coroutines in C (2000), \n                    \n                      http:\/\/www.chiark.greenend.org.uk\/~sgtatham\/coroutines.html"},{"key":"12_CR22","unstructured":"von Behren, R., Condit, J., Brewer, E.: Why events are a bad idea (for high-concurrency servers). In: Proceedings of HotOS (2003)"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"von Behren, R., Condit, J., Zhou, F., Necula, G.C., Brewer, E.: Capriccio: scalable threads for internet services. In: Proceedings of SOSP (2003)","DOI":"10.1145\/945445.945471"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Wand, M.: Continuation-based multiprocessing. In: Proceedings of LISP and Functional Programming (1980)","DOI":"10.1145\/800087.802786"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Welsh, M., Culler, D., Brewer, E.: SEDA: an architecture for well-conditioned, scalable internet services. In: Proceedings of SOSP (2001)","DOI":"10.1145\/502055.502057"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2012 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31057-7_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:42:20Z","timestamp":1620128540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31057-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642310560","9783642310577"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31057-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}