Reports
DAVE -- A Validation, Error Detection and Documentation System for Fortran Programs ; CU-CS-071-75 Public Deposited
https://scholar.colorado.edu/concern/reports/sx61dn194
- Abstract
- This paper describes DAVE, a system for analyzing Fortran programs. DAVE is capable of detecting the symptoms of a wide variety of errors in programs, as well as assuring the absence of these errors. In addition, DAVE exposes and documents subtle data relations and flows within programs. The central analytic procedure used is a depth first search. DAVE itself is written in Fortran. Its implementation at the University of Colorado and some early experience are described.
- Creator
- Date Issued
- 1975-07-02
- Academic Affiliation
- Last Modified
- 2019-12-21
- Resource Type
- Rights Statement
- Language
Relationships
Items
| Thumbnail | Title | Date Uploaded | Visibility | Actions |
|---|---|---|---|---|
|
|
daveAValidationErrorDetectionAndDocumentationSystemFo.pdf | 2019-12-21 | Public | Download |