Accession Number:

ADA089195

Title:

A Precise and Efficient Algorithm for Determining Existential Summary Data Flow Information,

Descriptive Note:

Corporate Author:

COLORADO UNIV AT BOULDER DEPT OF COMPUTER SCIENCE

Personal Author(s):

• Myers,Eugene W.

Report Date:

1980-03-01

Pagination or Media Count:

38.0

Abstract:

Data flow analysis is well understood at the intra-procedural level and efficient algorithms are available. When inter-procedural mechanisms such as recursion, procedure nesting, and pass-by-reference parameters are introduced, the data flow problems become more difficult. Let ISIZE be the size of the problem and OSIZE be the size of the resulting data flow relation. A OISIZEOSIZE algorithm is demonstrated for the existential summary data flow problem. Author

Descriptors:

• *DATA PROCESSING
• COMPUTER PROGRAM DOCUMENTATION
• ALGORITHMS
• RECURSIVE FUNCTIONS
• FLOW
• COMPUTER PROGRAM VERIFICATION
• FAULT TREE ANALYSIS

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE