References

Birdie, J., C. Calking, B. Cook, D. Dipterans, P.W. O'Hare, T. Wise and H. Yang, 2007. Shape analysis for composite data structures. Comput. Aided Verif., 4590: 178-192.
CrossRef  |  Direct Link  |  

Chase, D.R., M.N. Wegman and F.K. Zadeck, 1990. Analysis of pointers and structures. PLDI, 25: 296-310.
CrossRef  |  Direct Link  |  

Chong, S. and R. Rugina, 2003. Static analysis of accessed regions in recursive data structures. Proceedings of the 10th International Conference on Static Analysis, June 11-13, San Diego, CA., USA., pp: 463-482.

Deutsch, A., 1994. Interprocedural may-alias analysis for pointers: Beyond k-limiting. ACM SIGPLAN Not., 29: 230-241.
CrossRef  |  Direct Link  |  

Dolby, J. and A. Chien, 2000. An automatic object inlining optimization and its evaluation. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, (PLDI'00), ACM, New York, USA., pp: 345-357.