Ebook: The Foundations of Program Verification

---

Content:
Front Matter....Pages i-ix
Front Matter....Pages 1-1
Mathematical Preliminaries....Pages 3-17
Predicate Logic....Pages 18-37
Front Matter....Pages 39-39
Three Simple Programming Languages....Pages 41-70
Fixpoints in Complete Partial Orders....Pages 71-91
Denotational Semantics....Pages 92-110
Front Matter....Pages 111-111
Correctness of Programs....Pages 113-131
The Classical Methods of Floyd....Pages 132-148
The Axiomatic Method of Hoare....Pages 149-173
Verification Methods Based on Denotational Semantics....Pages 174-198
LCF, A Logic for Computable Functions....Pages 199-214
Front Matter....Pages 215-215
An Overview of Further Developments....Pages 217-221
Back Matter....Pages 222-230

---

Content:
Front Matter....Pages i-ix
Front Matter....Pages 1-1
Mathematical Preliminaries....Pages 3-17
Predicate Logic....Pages 18-37
Front Matter....Pages 39-39
Three Simple Programming Languages....Pages 41-70
Fixpoints in Complete Partial Orders....Pages 71-91
Denotational Semantics....Pages 92-110
Front Matter....Pages 111-111
Correctness of Programs....Pages 113-131
The Classical Methods of Floyd....Pages 132-148
The Axiomatic Method of Hoare....Pages 149-173
Verification Methods Based on Denotational Semantics....Pages 174-198
LCF, A Logic for Computable Functions....Pages 199-214
Front Matter....Pages 215-215
An Overview of Further Developments....Pages 217-221
Back Matter....Pages 222-230
....