Program Verification: Fundamental Issues in Computer Science
Timothy R. Colburn, Terry L. Rankin, James H. Fetzer · Kluwer Academic Publishers eBooks · 1993
Series 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.