Static Data Flow Analysis of PL/I Programs with the PROBE System | IEEE Journals & Magazine | IEEE Xplore