MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Demand Interprocedural Dataflow Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Demand Interprocedural Dataflow Analysis
by Susan Horwitz , Thomas Reps, Mooly Sagiv
…Abstract Demand Interprocedural Dataflow Analysis Susan Horwitz, Thomas Reps, and Mooly Sagiv…
Cited by 55 (8 self) – Add To MetaCart

Demand Interprocedural Program Analysis Using Logic Databases
by Thomas W. Reps — 1994
… during which an exhaustive algorithm for interprocedural dataflow analysis is used. A demand algorithm…
Cited by 40 (8 self) – Add To MetaCart

Client-driven pointer analysis
by Samuel Z. Guyer, Calvin Lin — 2003 — In International Static Analysis Symposium
… be combined to obtain the benefits of both.Demand interprocedural dataflow analysis [17] also avoids the cost…
Cited by 31 (10 self) – Add To MetaCart

Error Checking with Client-Driven Pointer Analysis
by Samuel Z. Guyer, Calvin Lin — 2003 — Science of Computer Programming
… interprocedural dataflow analysis [21] also avoids the cost of exhaustive program analysis by focusing…
Cited by 11 (4 self) – Add To MetaCart

Incorporating Domain-Specific Information into the Compilation Process
by Samuel Zev Guyer — 2003
… analysis . . . . . . . . . . . . . . . . . . . 208 8.4.3 Demand interprocedural dataflow analysis…
Cited by 10 (3 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB