Electronic Resource
Springer
Formal aspects of computing
7 (1995), S. 683-703
ISSN:
1433-299X
Keywords:
Function composition
;
Exceptions
;
Program semantics
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract Generalizing the notion of function composition, we introduce the concept ofconditional 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 theIF statement.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01211001
Permalink
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |