Interprocedural Dataflow Analysis via Graph Reachability (1994)

by Thomas Reps , Mooly Sagiv , Susan Horwitz
Citations:372 - 33 self