An Operational Foundation for Delimited Continuations in<br><br> the<br><br><br> CPS<br><br> Hierarchy Export

@misc{citeulike:448975, abstract = {We present an abstract machine and a reduction semantics for the lambda-calculus extended with control operators that give access to delimited continuations in the CPS hierarchy. The abstract machine is derived from an evaluator in continuation-passing style (CPS); the reduction semantics (i.e., a small-step operational semantics with an explicit representation of evaluation contexts) is constructed from the abstract machine; and the control operators are the shift and reset family. We also present new applications of delimited continuations in the CPS hierarchy: finding list prefixes and normalization by evaluation for a hierarchical language of units and products.}, archivePrefix = {arXiv}, author = {Biernacka, Malgorzata and Biernacki, Dariusz and Danvy, Olivier}, citeulike-article-id = {448975}, citeulike-linkout-0 = {http://arxiv.org/abs/cs.LO/0508048}, citeulike-linkout-1 = {http://arxiv.org/pdf/cs.LO/0508048}, day = {8}, eprint = {cs.LO/0508048}, keywords = {concurrency, continuation, control-flow, cps}, month = {Dec}, posted-at = {2005-12-23 23:03:57}, priority = {3}, title = {An Operational Foundation for Delimited Continuations in\&lt;br\&gt;\&lt;br\&gt; the\&lt;br\&gt;\&lt;br\&gt;\&lt;br\&gt; CPS\&lt;br\&gt;\&lt;br\&gt; Hierarchy}, url = {http://arxiv.org/abs/cs.LO/0508048}, year = {2005} }

TY - ELEC ID - citeulike:448975 L3 - citeulike-article-id:448975 N2 - We present an abstract machine and a reduction semantics for the lambda-calculus extended with control operators that give access to delimited continuations in the CPS hierarchy. The abstract machine is derived from an evaluator in continuation-passing style (CPS); the reduction semantics (i.e., a small-step operational semantics with an explicit representation of evaluation contexts) is constructed from the abstract machine; and the control operators are the shift and reset family. We also present new applications of delimited continuations in the CPS hierarchy: finding list prefixes and normalization by evaluation for a hierarchical language of units and products. TI - An Operational Foundation for Delimited Continuations in&lt;br&gt;&lt;br&gt; the&lt;br&gt;&lt;br&gt;&lt;br&gt; CPS&lt;br&gt;&lt;br&gt; Hierarchy KW - concurrency KW - continuation KW - control-flow KW - cps AU - Biernacka, Malgorzata AU - Biernacki, Dariusz AU - Danvy, Olivier PY - 2005/Dec/08/ UR - http://arxiv.org/abs/cs.LO/0508048 ER -