A general proof rule for procedures in predicate transformer semantics (Q797986)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A general proof rule for procedures in predicate transformer semantics |
scientific article; zbMATH DE number 3870576
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A general proof rule for procedures in predicate transformer semantics |
scientific article; zbMATH DE number 3870576 |
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
0 references
0.88437897
0 references
0.87634814
0 references
0 references
0.8735744
0 references
0 references
0.8719529
0 references
0 references
0.87005204
0 references
