%0 Conference Proceedings
%T Compiling Cooperative Task Management to Continuations
%+ Institute of Cybernetics [Tallinn]
%A Nakata, Keiko
%A Saar, Andri
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 5th International Conference on Fundamentals of Software Engineering (FSEN)
%C Tehran, Iran
%Y Farhad Arbab
%Y Marjan Sirjani
%I Springer Berlin Heidelberg
%3 Fundamentals of Software Engineering
%V LNCS-8161
%P 95-110
%8 2013-04-24
%D 2013
%R 10.1007/978-3-642-40213-5_7
%Z Computer Science [cs]Conference papers
%X Although preemptive concurrency models are dominant for multi-threaded concurrency, they may be criticized for the complexity of reasoning because of the implicit context switches. The actor model and cooperative concurrency models have regained attention as they encapsulate the thread of control. In this paper, we formalize a continuation-based compilation of cooperative multitasking for a simple language and prove its correctness.
%G English
%2 https://inria.hal.science/hal-01514661/document
%2 https://inria.hal.science/hal-01514661/file/978-3-642-40213-5_7_Chapter.pdf
%L hal-01514661
%U https://inria.hal.science/hal-01514661
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-WG2-2
%~ IFIP-FSEN
%~ IFIP-LNCS-8161