Axiomatising the logic of computer programming (Q1158956)
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: Axiomatising the logic of computer programming |
scientific article; zbMATH DE number 3744532
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axiomatising the logic of computer programming |
scientific article; zbMATH DE number 3744532 |
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
