A general proof rule for procedures in predicate transformer semantics (Q797986)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A general proof rule for procedures in predicate transformer semantics |
scientific article |
Statements
A general proof rule for procedures in predicate transformer semantics (English)
0 references
1983
0 references
correctness
0 references
semantics
0 references
proof rule
0 references
procedure call
0 references
parameters
0 references
recursive procedures
0 references
