Program Verification

InhaltsangabeSeries Preface. Prologue Computer Science and Philosophy; T.R. Colburn. Part I: The Mathematical Paradigm. Towards a Mathematical Science of Computation; J. McCarthy. Proof of Algorithms by General Snapshots; P. Naur. Assigning Meanings to Programs; R.W. Floyd. An Axiomatic Basis for Computer Programming; C.A.R. Hoare. Part II: Elaborating the Paradigm. First Steps towards Inferential Programming; W.L. Sherlis, D.S. Scott. Mathematics of Programming; C.A.R. Hoare. On Formalism in Specifications; B. Meyer. Formalization in Program Development; P. Naur. Part III: Challenges, Limits, and Alternatives. Formalism and Prototyping in the Software Process; B.I. Blum. Outline of a Paradigm Change in Software Engineering; C. Floyd. The Place of Strictly Defined Notation in Human Insight; P. Naur. Limits of Correctness in Computers; B.C. Smith. Part IV: Focus on Formal Verification. Social Processes and Proofs of Theorems and Programs; R.A. Demillok, R.J. Lipton, A.J. Perlis. Program Verification: The Very Idea; J.H. Fetzer. The Notion of Proof in Hardware Verification; A. Cohn. Program Verification, Deafeasible Reasoning, and Two Views of Computer Science; T.R. Colburn. Epilogue. Philosophical Aspects of Program Verification; J.H. Fetzer. Selected Bibliography. Index of Names. Index of Subjects.