1. Precise interprocedural dataflow analysis via graph reachability;Reps,1995
2. Refactoring: Improving the Design of Existing Code;Fowler,1999
3. JFlow: Practical mostly-static information flow control;Myers,1999
4. Whole-program optimization of object-oriented languages;Dean,1996
5. A survey of program slicing techniques;Tip;J. Prog. Lang.,1995