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 ...