{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:43:23Z","timestamp":1742402603893},"reference-count":23,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T00:00:00Z","timestamp":1161907200000},"content-version":"vor","delay-in-days":10983,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1976,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper describes DAVE, a system for analysing 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.<\/jats:p>","DOI":"10.1002\/spe.4380060405","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T12:33:20Z","timestamp":1163766800000},"page":"473-486","source":"Crossref","is-referenced-by-count":107,"title":["Dave\u2014a validation error detection and documentation system for fortran programs"],"prefix":"10.1002","volume":"6","author":[{"given":"Leon J.","family":"Osterweil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lloyd D.","family":"Fosdick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,27]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/356599.356602"},{"key":"e_1_2_1_3_2","first-page":"59","volume-title":"The debugging system AIDS\u2019, AFIPS 1970 SJCC","author":"Grishman R."},{"key":"e_1_2_1_4_2","volume-title":"Introduction to the Interactive Semantic Modelling System","author":"Fairley R. E."},{"key":"e_1_2_1_5_2","doi-asserted-by":"crossref","unstructured":"J. D.GannonandJ. J.Horning \u2018The impact of language design on the production of reliable software\u2019 Proceedings of 1975 International Conference on Reliable Software IEEE Cat. No. 75CHO 940\u20107CSR pp.10\u201323 New York.","DOI":"10.1145\/800027.808420"},{"key":"e_1_2_1_6_2","first-page":"41","volume-title":"Debugging Techniques in Large Systems","author":"Mills H. D.","year":"1971"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/362575.362577"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1147\/sj.111.0056"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1974.6323440"},{"key":"e_1_2_1_10_2","first-page":"385","volume-title":"Proceedings of IFIP Conference, 1971","author":"Allen F. E.","year":"1971"},{"key":"e_1_2_1_11_2","unstructured":"American National Standards Institute FORTRAN ANSI X3.9 (1966)."},{"key":"e_1_2_1_12_2","volume-title":"MNF Reference Manual for CDC 6000\/7000\/Cyber Series Computers","author":"Frisch M."},{"key":"e_1_2_1_13_2","volume-title":"Fortran IV with WATFOR and WATFIV","author":"Cress P.","year":"1970"},{"key":"e_1_2_1_14_2","volume-title":"Fortran IV Reference Manual 3102.01 A, Mark III Foreground","year":"1973"},{"key":"e_1_2_1_15_2","unstructured":"L.OsterweilandL. D.Fosdick \u2018DAVE\u2014A Validation Error Detection and Documentation System for Fortran Programs\u2019 University of Colorado Department of Computer Science TR No. CU\u2010CS\u2010071\u201075."},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.21236\/AD0705364"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380040405"},{"key":"e_1_2_1_18_2","unstructured":"L.Osterweil L.ClarkeandD. W.Smith \u2018A Fortran System for Flexible Creation and Accessing of Data Bases\u2019 University of Colorado Department of Computer Science TR No. CU\u2010CS\u2010457\u201074."},{"key":"e_1_2_1_19_2","unstructured":"L. D.FosdickandL.Osterweil \u2018Validation and global optimization of programs\u2019 Fourth Texas Conference on Computing Systems(1975)."},{"key":"e_1_2_1_20_2","unstructured":"L.Clarke \u2018A System to Generate Test Data and Symbolically Execute Programs\u2019 University of Colorado Department of Computer Science TR No. CU\u2010CS\u2010060\u201075."},{"key":"e_1_2_1_21_2","unstructured":"V.Kallal An Algorithm for Constructing the Flowgraph of an Assembly Language Program Master's thesis University of Colorado Department of Computer Science (to appear)."},{"key":"e_1_2_1_22_2","doi-asserted-by":"crossref","unstructured":"D. I.Good R. L.LondonandW. W.Bledsoe \u2018An interactive program verification system\u2019 Proceedings of 1975 International Conference on Reliable Software IEEE Cat. No. 7SCHO 940\u20107CSR pp.482\u2013492 New York.","DOI":"10.1145\/800027.808472"},{"key":"e_1_2_1_23_2","first-page":"567","volume-title":"EXDAMS: extensible debugging and monitoring system\u2019, AFIPS 1969 SJCC","author":"Balzer R. M."},{"key":"e_1_2_1_24_2","doi-asserted-by":"crossref","unstructured":"R.Rubey \u2018Quantitative aspects of software validation\u2019 Proceedings of 1975 International Conference on Reliable Software IEEE Cat. No. 75CHO 94O\u20107CSR pp.246\u2013251 New York.","DOI":"10.1145\/390016.808446"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380060405","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380060405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,12]],"date-time":"2023-11-12T04:26:03Z","timestamp":1699763163000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380060405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976,10]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1976,10]]}},"alternative-id":["10.1002\/spe.4380060405"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380060405","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1976,10]]}}}