Dave—a validation error detection and documentation system for fortran programs
- 1 October 1976
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 6 (4), 473-486
- https://doi.org/10.1002/spe.4380060405
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Quantitative aspects of software validationACM SIGPLAN Notices, 1975
- An interactive program verification systemPublished by Association for Computing Machinery (ACM) ,1975
- The impact of language design on the production of reliable softwarePublished by Association for Computing Machinery (ACM) ,1975
- The pfort verifierSoftware: Practice and Experience, 1974
- Measurements of parallelism in ordinary FORTRAN programsComputer, 1974
- An Assessment of Techniques for Proving Program CorrectnessACM Computing Surveys, 1972
- Chief programmer team management of production programmingIBM Systems Journal, 1972
- Program development by stepwise refinementCommunications of the ACM, 1971
- GRAPH THEORYPublished by Defense Technical Information Center (DTIC) ,1969