Dave—a validation error detection and documentation system for fortran programs
From MaRDI portal
Publication:4095829
DOI10.1002/spe.4380060405zbMath0329.68011OpenAlexW2040368451MaRDI QIDQ4095829
Leon J. Osterweil, Lloyd Fosdick
Publication date: 1976
Published in: Software: Practice and Experience (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/spe.4380060405
Related Items (2)
The method of attributes for data flow analysis. I: Exhaustive analysis ⋮ Bibliography on the evaluation of numerical software
Cites Work
This page was built for publication: Dave—a validation error detection and documentation system for fortran programs