|
" Program verification : "
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
775737
|
| Doc. No
|
:
|
b595733
|
| Title & Author
|
:
|
Program verification : : fundamental issues in computer science.
|
| Publication Statement
|
:
|
[Place of publication not identified] : Springer, 2013
|
| ISBN
|
:
|
9401117934
|
|
|
:
|
: 9789401117937
|
| Contents
|
:
|
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.
|
| LC Classification
|
:
|
QA76.76.V47P764 2013
|
| |