The application of data flow analysis algorithms to improve the reliability of single-process HAL/S programs is described. These algorithms evolved from the development of a system, DAVE, designed to analyze Fortran but are basically language-independent and therefore adaptable to HAL/S. An overview of the DAVE-HAL/S system is presented and features of HAL/S requiring special attention are discussed. The anomalies detected by the system are listed, followed by a high-level description of the system components. Since concurrency is a major feature of HAL/S, the last section indi9cates work in progress to adapt the analysis to handle concurrent-process as well as single-process programs.
Drey, Carol, "DAVE-HAL/S: A System for the Static Data Flow Analysis of Single Process HAL/S Programs ; CU-CS-141-78" (1978). Computer Science Technical Reports. 139.