Part IV. References
- [Burke et al'95]: M.Burke, P.Carini,J.Choi and M.Hind, "Flow-insensitive inter-procedural alias analysis
in the presence of pointers", In Lecture Notes in Computer Science, 892, pp.234-250,
- [Cheng et al'00] B.Cheng and W.Hwu, "Modular Interprocedural pointer analysis using access paths: design
implementation and evaluation,", PLDI 2000, Vancouver, British Columbia, Canada.
- [Choi et al'93]: J.Choi, M.Burke and P.Carini, "Efficient flow-sensitive inter-procedural computation
of pointer-induced aliases and side effects,", In Proceedings of the 20th Annual ACM Symposium on
Principles of Programming Languages, pp.233-245, January 1993.
- [Deutsch'94]:A. Deutsch, "Interprocedural may-alias analysis for pointers: Beyond k-limiting,",
In Proceeding of the ACM SIGPLAN'94 Conference on Programing language
Design and Implementation, pp.230-241, June 1994.
- [Emami'93]: M. Emami, "A practical inter-procedural alias analysis for an optimizing/paralleling C
compiler", Master thesis, School of Computer Science, McGill University, August 1993.
- [Emami et al'94]: M.Emami, R.Ghiya and L.Hendren, "Context-sensitive inter-procedural points-to
analysis in the presence of function pointers", in Proceedings of ACM SIGPLAN'94 Conference on
Programming Language Design and Implementation, pp. 242-256, June 1994.
- [Landi et al'92]: W.Landi and B.Ryder, "A safe approximate algorithm for inter-procedural pointer
aliasing". In Proceeding of the ACM SIGPLAN'92 Conference on Programing language
Design and Implementation, pp.235-248, June 1992.
- [Ryder et al'99] R.Chatterjee, R.Ryder and W.Landi, "Relevant context inference,",
In Proceedings of the ACM Symposium on
Principles of Programming Languages, pp.133-146, January 1999.
- [Wilson et al'95] R.Wilson and M.Lam, "Efficient context-sensitive pointer analysis for C programs",
In Proceeding of the ACM SIGPLAN'95 Conference on Programing language
Design and Implementation, pp.1-12, June 1995.
- More ......