Bibliography

1

Michael Hind, Michael Burke, Paul Carini, and Jong-Deok Choi.
Interprocedural pointer alias analysis.
TOPLAS`99, 21(4):848-894, 1999.

2

U. P. Khedker.
Data flow analysis.
In Y. N. Srikant and Priti Shankar, editors, The Compiler Design Handbook: Optimizations & Machine Code Generation. CRC Press, USA, 2002.

3

U. P. Khedker, D. M. Dhamdhere, and A. Mycroft.
Bidirectional data flow analysis for type inferencing.
Computer Languages, Systems and Structures, 29(1-2):15-44, 2003.

4

U. P. Khedker, A. Sanyal, and A Karkare.
Heap reference analysis.
2004.
(Under Preparation).

5

U. P. Khedker and B. Sathe.
Interprocedural data flow analysis for bidirectional data flows.
2004.
(Under Preparation).

6

F. Nielson, H. R. Nielson, and C. Hankin.
Principles of Program Analysis.
Springer-Verlag, 1998.

7

Ran Shaham, Eran Yahav, Elliot K. Kolodnere, and Shmuel Sagiv.
Establishing local temporal heap safety properties with applications to compile-time memory management.
In Static Analysis Symposium, 2003.

8

M. Sharir and A. Pnueli.
Two approaches to interprocedural data flow analysis.
In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis : Theory and Applications. Prentice-Hall Inc., 1981.