Contrasting Exceptions and Continuations Export

@misc{citeulike:4965, abstract = {Exceptions and first-class continuations are the most powerful forms of control in programming languages. While both are a form of non-local jumping, there is a fundamental difference between them. We formalize this difference by proving a contextual equivalence that holds in the presence of exceptions, but not continuations; and conversely, we prove an equivalence that holds in the presence of continuations, but not exceptions. By the same technique, we show that exceptions and continuations...}, author = {Thielecke, H.}, citeulike-article-id = {4965}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9620}, keywords = {continuations, exceptions, language-design}, posted-at = {2004-12-30 05:12:42}, title = {Contrasting Exceptions and Continuations}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9620} }

TY - GEN ID - citeulike:4965 L3 - citeulike-article-id:4965 N2 - Exceptions and first-class continuations are the most powerful forms of control in programming languages. While both are a form of non-local jumping, there is a fundamental difference between them. We formalize this difference by proving a contextual equivalence that holds in the presence of exceptions, but not continuations; and conversely, we prove an equivalence that holds in the presence of continuations, but not exceptions. By the same technique, we show that exceptions and continuations... TI - Contrasting Exceptions and Continuations KW - continuations KW - exceptions KW - language-design AU - Thielecke, H UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9620 ER -