A New Statement for Selection and Exception Handling in Imperative Languages

Abstract

Diverse selection statements -- if-then-else, switch and try-catch -- are commonly used in modern programming languages. To make things simple, we propose a unifying statement for selection. This statement is of the form seqor(G_1,...,G_n) where each $G_i$ is a statement. It has a a simple semantics: sequentially choose the first successful statement $G_i$ and then proceeds with executing $G_i$. Examples will be provided for this statement.

8 pages. We add the notion of negative exception handling

References in corpus (2)

• Sequential operators in computability logic
• Improving Robustness via Disjunctive Statements in Imperative Programming