Jacques Loeckx (1931–2020)

Indeholder "Authors' Preface", "List of Symbols", "Part A: PRELIMINARIES", " Chapter 1. Mathematical Preliminaries", " 1.1 Basic Concepts and Notation", " 1.2 Induction", " Chapter 2. Predicate Logic", " 2.1 The Syntax of Predicate Logic", " 2.2 The Semantics of Predicate Logic", " 2.3 Predicate Calculus", " 2.4 Theories", "Part B: SEMANTICS OF PROGRAMMING LANGUAGES", " Chapter 3. Three Simple Programming Languages", " 3.1 The Flowchart Programming Language L1", " 3.2 The While-Programming Language L2", " 3.3 The Language L3 of Recursive Programs", " Chapter 4. Fixpoints in Complete Partial Orders", " 4.1 Complete Partial Orders", " 4.2 Continuous Functions", " 4.3 Fixpoints", " Chapter 5. Denotational Semantics", " 5.1 The λ-Notation", " 5.2 Denotational Semantics of Recursive Programs", " 5.3 Equivalence of the Operational and Denotational Semantics of Recursive Programs", " 5.4 Denotational Semantics of while-Programs ", "Part C: PROGRAM VERIFICATION METHODS", " Chapter 6. Correctness of Programs", " 6.1 Specifying Program Correctness", " 6.2 Decision Problems", " 6.3 Ingenuous Correctness Proofs", " Chapter 7. The Classical Methods of Floyd", " 7.1 Inductive Assertions Method", " 7.2 The Well-Founded Sets Method", " Chapter 8. The Axiomatic Method of Hoare", " 8.1 Hoare Logic and Hoare Calculus", " 8.2 Soundness and Relative Completeness", " 8.3 Expressiveness", " 8.4 Integration of the Well-Founded Sets Method", " Chapter 9. Verification Methods Based on Denotational Semantics", " 9.1 Applying Properties of Cpo's", " 9.2 Subgoal Induction Method", " 9.3 Structural Induction", " Chapter 10. LCF, A Logic for Computable Functions", " 10.1 The Logic", " 10.2 The Calculus", " 10.3 Soundness and Completeness Problems", " 10.4 Application to Program Verification", "Part D: PROSPECTS", " Chapter 11. An Overview of Further Developments", " 11.1 Including Further Program Constructs", " 11.2 Other Semantics Descriptions", " 11.3 Other Logics and Related Programming Languages", " 11.4 Other Proof Methods", " 11.5 The Development of Correct Programs", " 11.6 Abstract Data Types", " 11.7 Mechanical Verification Systems", "Bibliography", "Index".

???… (más)