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