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(G1,...,Gn) where each Gi is a statement. It has a a simple semantics: sequentially choose the first successful statement Gi and then proceeds with executing Gi. Examples will be provided for this statement.

0

Turn this paper into a lesson

ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…