A Flow Analysis Procedure for the Translation of High-Level Languages to a Data Flow Language

A data flow analysis procedure is described which may be used in the translation of high-level languages to parallel target languages. The technique analyzes the data dependencies which exist between statements in a high-level program and constructs an intermediate form amenable to optimizing transformations and code generation.