An Implementation Mechanism for Tailorable Exceptional Flow

Brinke te, Steven 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.

PDF
Restricted to UT campus only: Request a copy
378Kb

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
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Software Engineering (SE)
Link to this item:	http://purl.utwente.nl/publications/80714
Official URL:	http://dx.doi.org/10.1109/WEH.2012.6226594
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page