1W Landi.Undecidability of Static Analysis[J].ACM Letters on Programming Languages and Systems,1992:1(4):323-337.
2B Steensgaard.Point-to analysis in almost linear time[C].23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages,1996:32-41.
3Lars Ole Andersen.Pointer Analysis and Specification for the C Programming Language[D].Denmark,University of Copenhagen,1994.
4Michael Burke,Paul Carini,Jong-Deok Choi,et al.Flow-insensitive Interprocedural Alias Analysis in the Presence of Pointers[M].In 7th International Workshop on Language and Compilers for parallel Computing,1994:234-250.
5Jong-Deok Choi,Michael Burke,Paul Carini.Efficient Flow-sensitive Interprecedural.Computation of Pointer-induced Aliases and Side Effects[M].In 20th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages,1993:232-245.
