Affiliation:
1. Univ. of Minnesota, Duluth, MN
Abstract
The notion of program verification appears to trade upon an equivocation. Algorithms, as logical structures, are appropriate subjects for deductive verification. Programs, as causal models of those structures, are not. The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.
Publisher
Association for Computing Machinery (ACM)
Reference36 articles.
1. Benacerra~ P. and Putnam H. Eds. Philosophy of Mathematics: Selected Readings. Prentice-Hall Englewood Cliffs N.J. 1964. Benacerra~ P. and Putnam H. Eds. Philosophy of Mathematics: Selected Readings. Prentice-Hall Englewood Cliffs N.J. 1964.
2. Bochner S. The Role of Mathematics in the Rise of Science. Princeton Univ. Press Princeton N.J. 1966. Bochner S. The Role of Mathematics in the Rise of Science. Princeton Univ. Press Princeton N.J. 1966.
Cited by
181 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献