An axiomatic treatment of exception handling in an expression-oriented language (Q3761669)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An axiomatic treatment of exception handling in an expression-oriented language |
scientific article |
Statements
An axiomatic treatment of exception handling in an expression-oriented language (English)
0 references
1987
0 references
Algol 68
0 references
axiomatic semantics
0 references
program specification
0 references
side effect
0 references
replacement model of exception handling
0 references
proof rules
0 references
