A Flow Analysis Procedure for the Translation of High-Level Languages to a Data Flow Language | IEEE Journals & Magazine | IEEE Xplore