Erratum to: ``Continuation-passing C, compiling threads to events through continuations

DOI10.1007/s10990-012-9088-1zbMath1256.68039MaRDI QIDQ1929353

Juliusz Chroboczek, Gabriel Kerneis

Publication date: 8 January 2013

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-012-9088-1

zbMATH Keywords

concurrent programming; continuation-passing style; lambda-lifting

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68N20: Theory of compilers and interpreters