Correctness Concerns and, among Other Things, Why They Are Resented
Part of the Texts and Monographs in Computer Science book series (MCS)
A historical perspective is provided on issues concerning the correctness of programs.
KeywordsTransitive Closure Software Reliability Program Correctness Recursive Program Program Text
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag New York Inc 1978