Safe-for-Space Threads in Standard ML Export

@article{citeulike:915731, abstract = {Threads can easily be implemented using first-class continuations, but the straightforward approaches for doing so lead to space leaks, especially in a language with exceptions like Standard ML. We show how these space leaks arise, and give a new implementation for threads that is safe-for-space. 1 Introduction The ability to provide simple implementations of lightweight, concurrent threads is often cited as one of the great attractions of first-class continuations. We show that this task is...}, author = {Biagioni, Edoardo and Cline, Ken and Lee, Peter and Okasaki, Chris and Stone, Chris}, citeulike-article-id = {915731}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.6135}, journal = {Higher-Order and Symbolic Computation}, keywords = {continuations, control, control-operators, exceptions, return, safe-for-space, tail-recursion, threads}, number = {2}, pages = {209--225}, posted-at = {2006-10-28 10:41:08}, priority = {2}, title = {Safe-for-Space Threads in Standard ML}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.6135}, volume = {11}, year = {1998} }

TY - JOUR ID - citeulike:915731 L3 - citeulike-article-id:915731 N2 - Threads can easily be implemented using first-class continuations, but the straightforward approaches for doing so lead to space leaks, especially in a language with exceptions like Standard ML. We show how these space leaks arise, and give a new implementation for threads that is safe-for-space. 1 Introduction The ability to provide simple implementations of lightweight, concurrent threads is often cited as one of the great attractions of first-class continuations. We show that this task is... IS - 2 JF - Higher-Order and Symbolic Computation EP - 225 TI - Safe-for-Space Threads in Standard ML VL - 11 SP - 209 KW - continuations KW - control KW - control-operators KW - exceptions KW - return KW - safe-for-space KW - tail-recursion KW - threads AU - Biagioni, Edoardo AU - Cline, Ken AU - Lee, Peter AU - Okasaki, Chris AU - Stone, Chris PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.6135 ER -