Back to Search
Start Over
Program Verification: Public Image And Private Reality.
- Source :
- Communications of the ACM; Apr89, Vol. 32 Issue 4, p420-422, 3p
- Publication Year :
- 1989
-
Abstract
- Presents the authors' views on a paper entitled "Program Verification: The Very Idea," by James Fetzer which was published in the September 1988 issue of the journal "Communications of the ACM." Issue of accurate reporting of science and accurate representation of research; Rage caused by the paper in the program verification community; Failure of Fetzer to give a clear picture of program verification.
- Subjects :
- COMPUTER programming
SCIENTIFIC literature
TESTING
COMPUTER software
Subjects
Details
- Language :
- English
- ISSN :
- 00010782
- Volume :
- 32
- Issue :
- 4
- Database :
- Complementary Index
- Journal :
- Communications of the ACM
- Publication Type :
- Periodical
- Accession number :
- 17923360