An Implementation Mechanism for Tailorable Exceptional Flow


Brinke, Steven te and Laarakkers, Mark and Bockisch, Christoph and Bergmans, Lodewijk (2012) An Implementation Mechanism for Tailorable Exceptional Flow. In: 5th International Workshop on Exception Handling, WEH 2012, 9 June 2012, Zurich, Switzerland (pp. pp. 22-26).

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract:Decomposing software according to the structure of the problem domain makes it easier to manage its complexity. Such a decomposition requires a programming language that supports compositions matching those in the problem domain. However, current programming languages only offer a restricted set of control-flow related composition mechanisms, such as method invocation and exception handling. This limits developers in choosing the desired decomposition. Previously, we showed that continuations are suitable for implementing various control-flow compositions. However, composing and refining these implementations requires new language features. In this paper, we outline requirements for control-flow composition and show how exception handling can be implemented using continuations, scopes and bindings.
Item Type:Conference or Workshop Item
Copyright:© 2012 IEEE
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page