Precise Interprocedural Dataflow Analysis via Graph Reachability Thomas Reps,† Susan Horwitz,† and Mooly Sagiv†, ‡ University of Wisconsin Abstract The paper shows how a large class of interprocedural dataflow-an - Graph paper - Document - PDFSEARCH.IO

First Page	Meta Content
	Precise Interprocedural Dataflow Analysis via Graph Reachability Thomas Reps,† Susan Horwitz,† and Mooly Sagiv†, ‡ University of Wisconsin Abstract The paper shows how a large class of interprocedural dataflow-an Add to Reading List Document Date: 2001-09-10 19:06:42 Open Document File Size: 110,76 KB Share Result on Facebook

Precise Interprocedural Dataflow Analysis via Graph Reachability Thomas Reps,† Susan Horwitz,† and Mooly Sagiv†, ‡ University of Wisconsin Abstract The paper shows how a large class of interprocedural dataflow-anAdd to Reading List