Axiomatising the logic of computer programming (Q1158956)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axiomatising the logic of computer programming |
scientific article |
Statements
Axiomatising the logic of computer programming (English)
0 references
1982
0 references
while programs
0 references
correctness of programs
0 references
logics of programs
0 references
proof theory for programming language semantics
0 references
infinitary inference rule for reasoning about iteration programs
0 references
semantical completeness
0 references
canonical model constructions
0 references
modal logic
0 references
