Conditional composition
Rajit Manohar, K. Rustan, Mirka Leino · Formal Aspects of Computing · 1995
Abstract Generalizing the notion of function composition, we introduce the concept of conditional function composition and present a theory of such compositions. We use the theory to describe the semantics of a programming language with exceptions, and to relate exceptions to the IF statement.