Precise Interprocedural Dataflow Analysis via Graph Reachability.

Thomas W. Reps, Susan Horwitz, Shmuel Sagiv

Browse the full POPL paper archive.