An Implementation Mechanism for Tailorable Exceptional Flow

Steven te Brinke, Mark Laarakkers, Christoph Bockisch, Lodewijk Bergmans

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    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.
    Original languageEnglish
    Title of host publicationWEH '12
    Subtitle of host publicationProceedings of the 5th International Workshop on Exception Handling
    Place of PublicationPiscataway, NJ
    PublisherIEEE
    Pages22-26
    Number of pages5
    ISBN (Print)978-1-4673-1767-2
    DOIs
    Publication statusPublished - 9 Jun 2012
    Event5th International Workshop on Exception Handling, WEH 2012 - Zurich, Switzerland
    Duration: 9 Jun 20129 Jun 2012
    Conference number: 5

    Workshop

    Workshop5th International Workshop on Exception Handling, WEH 2012
    Abbreviated titleWEH
    CountrySwitzerland
    CityZurich
    Period9/06/129/06/12

    Keywords

    • METIS-287879
    • Continuation-passing style
    • IR-80714
    • Language Design
    • EWI-21927
    • Exception Handling
    • control-flow composition
    • CR-D.3
    • CR-D.1.5
    • Free Composition

    Fingerprint Dive into the research topics of 'An Implementation Mechanism for Tailorable Exceptional Flow'. Together they form a unique fingerprint.

    Cite this