Conditional CompositionRajit Manohar and K. Rustan M. LeinoGeneralizing 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. |
|
|
|