An Implementation Mechanism for Tailorable Exceptional Flow

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

doi:10.1109/WEH.2012.6226594

An Implementation Mechanism for Tailorable Exceptional Flow

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

6 Downloads (Pure)

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 language	English
Title of host publication	WEH '12
Subtitle of host publication	Proceedings of the 5th International Workshop on Exception Handling
Place of Publication	Piscataway, NJ
Publisher	IEEE
Pages	22-26
Number of pages	5
ISBN (Print)	978-1-4673-1767-2
DOIs	https://doi.org/10.1109/WEH.2012.6226594
Publication status	Published - 9 Jun 2012
Event	5th International Workshop on Exception Handling, WEH 2012 - Zurich, Switzerland Duration: 9 Jun 2012 → 9 Jun 2012 Conference number: 5

Workshop

Workshop	5th International Workshop on Exception Handling, WEH 2012
Abbreviated title	WEH
Country/Territory	Switzerland
City	Zurich
Period	9/06/12 → 9/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

Access to Document

10.1109/WEH.2012.6226594

Cite this

@inproceedings{e20cb6fa829f466595f1608dda881b2e,

title = "An Implementation Mechanism for Tailorable Exceptional Flow",

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.",

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",

author = "\{te Brinke\}, Steven and Mark Laarakkers and Christoph Bockisch and Lodewijk Bergmans",

year = "2012",

month = jun,

day = "9",

doi = "10.1109/WEH.2012.6226594",

language = "English",

isbn = "978-1-4673-1767-2",

pages = "22--26",

booktitle = "WEH '12",

publisher = "IEEE",

address = "United States",

note = "5th International Workshop on Exception Handling, WEH 2012, WEH ; Conference date: 09-06-2012 Through 09-06-2012",

}

TY - GEN

T1 - An Implementation Mechanism for Tailorable Exceptional Flow

AU - te Brinke, Steven

AU - Laarakkers, Mark

AU - Bockisch, Christoph

AU - Bergmans, Lodewijk

N1 - Conference code: 5

PY - 2012/6/9

Y1 - 2012/6/9

N2 - 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.

AB - 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.

KW - METIS-287879

KW - Continuation-passing style

KW - IR-80714

KW - Language Design

KW - EWI-21927

KW - Exception Handling

KW - control-flow composition

KW - CR-D.3

KW - CR-D.1.5

KW - Free Composition

U2 - 10.1109/WEH.2012.6226594

DO - 10.1109/WEH.2012.6226594

M3 - Conference contribution

SN - 978-1-4673-1767-2

SP - 22

EP - 26

BT - WEH '12

PB - IEEE

CY - Piscataway, NJ

T2 - 5th International Workshop on Exception Handling, WEH 2012

Y2 - 9 June 2012 through 9 June 2012

ER -

An Implementation Mechanism for Tailorable Exceptional Flow

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Cite this