Citation: J. Knoop et al., TOWARDS A TOOL KIT FOR THE AUTOMATIC-GENERATION OF INTERPROCEDURAL DATA-FLOW ANALYSES, Journal of programming languages, 4(4), 1996, pp. 211-246
Citation: J. Knoop et al., PARALLELISM FOR FREE - EFFICIENT AND OPTIMAL BITVECTOR ANALYSES FOR PARALLEL PROGRAMS, ACM transactions on programming languages and systems, 18(3), 1996, pp. 268-299
Citation: J. Knoop et al., OPTIMAL CODE MOTION - THEORY AND PRACTICE, ACM transactions on programming languages and systems, 16(4), 1994, pp. 1117-1155