MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Demand-Driven Pointer Analysis." – sorted by Relevance.

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

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

8 documents found, showing 1 through 8.

ATOM

Demand-Driven Pointer Analysis
by Nevin Heintze, Olivier Tardieu — 2001
…Demand-Driven Pointer Analysis Nevin Heintze Research, Agere Systems (formerly Lucent…
Cited by 36 (0 self) – Add To MetaCart

Abstracting C with abC
by Dennis Dams, William Hesse, Gerard Holzmann — 2002 — In CAV
…. It features an integrated demand-driven pointer analysis, and has been implemented as an extension of GCC. 1…
Cited by 1 (0 self) – Add To MetaCart

Error Checking with Client-Driven Pointer Analysis
by Samuel Z. Guyer, Calvin Lin — 2003 — Science of Computer Programming
… for the precision of pointer analysis. It is closely related to demand-driven algorithms and mixed…
Cited by 9 (4 self) – Add To MetaCart

Programs with Recursively Defined Data Structures Using Pointers
by M. Sagiv, M. Schwartzbach, K. Weihe, K. Melhorn, M. Sagiv (tel Aviv, M. Schwartzbach (aarhus, K. Weihe (konstanz, K. Mehlhorn (saarbrucken — 1998
… (in order to be replaced by a more e#cient implementation)? 15. (A) Demand-driven pointer analysis. 16…
Add To MetaCart

Client-driven pointer analysis
by Samuel Z. Guyer, Calvin Lin — 2003 — In International Static Analysis Symposium
… varies precision, but still computes an exhaustive solution. Demand-driven pointer analysis isa fixed…
Cited by 30 (10 self) – Add To MetaCart

Incorporating Domain-Specific Information into the Compilation Process
by Samuel Zev Guyer — 2003
….4.1 Iterative flow analysis . . . . . . . . . . . . . . . . . . . . . . . . 208 8.4.2 Demand-driven pointer…
Cited by 10 (3 self) – Add To MetaCart

Incremental and demand-driven points-to analysis using logic programming
by Diptikalyan Saha — 2005 — In Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming
… describe only an analysis with these restrictions. 3. DEMAND-DRIVEN POINTER ANALYSIS Recall…
Cited by 11 (6 self) – Add To MetaCart

Incremental and Demand-driven Points-To Analysis UsingLogic Programming
by unknown authors
… of incremental analysis, and hence we describe only an analysis with these restrictions. 3. DEMAND-DRIVEN POINTER…
Add To MetaCart

Showing 1 through 8.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB