Constructing a program with exceptions (Q674271)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Constructing a program with exceptions |
scientific article |
Statements
Constructing a program with exceptions (English)
0 references
28 February 1997
0 references
Programming calculi
0 references
Exceptions
0 references
Program derivation
0 references
Formal semantics
0 references