Reports
DAVE-HAL/S: A System for the Static Data Flow Analysis of Single Process HAL/S Programs ; CU-CS-141-78 Public Deposited
Downloadable Content
Download PDF
https://scholar.colorado.edu/concern/reports/76537210f
- Abstract
- 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.
- Creator
- Date Issued
- 1978-11-01
- Academic Affiliation
- Last Modified
- 2019-12-21
- Resource Type
- Rights Statement
- Language
Relationships
Items
Thumbnail | Title | Date Uploaded | Visibility | Actions |
---|---|---|---|---|
daveHalSASystemForTheStaticDataFlowAnalysisOfSingle.pdf | 2019-12-21 | Public | Download |