Interprocedural DataflowAnalysis via Graph Reachability (1994)

by Thomas Reps , Mooly Sagiv , Susan Horwitz
Citations:320 - 29 self