Continuation-passing C, compiling threads to events through continuations
From MaRDI portal
Publication:1929338
DOI10.1007/s10990-012-9084-5zbMath1256.68038arXiv1011.4558OpenAlexW3101187860MaRDI QIDQ1929338
Gabriel Kerneis, Juliusz Chroboczek
Publication date: 8 January 2013
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1011.4558
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)
Related Items (1)
Uses Software
Cites Work
- Scala actors: Unifying thread-based and event-based programming
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Continuations revisited
- Continuations: A mathematical semantics for handling full jumps
- Linear continuation-passing
- Continuation-passing C, compiling threads to events through continuations
- Trampolined style
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
- Monitors
- Specification and correctness of lambda lifting This material is based upon work supported by the National Science Foundation under Grant No. 9900918.
- A poor man's concurrency monad
- Correspondence between ALGOL 60 and Church's Lambda-notation
- Unnamed Item
- Unnamed Item
This page was built for publication: Continuation-passing C, compiling threads to events through continuations
