Pyster, A. "Compiler Design and Construction", 1980, pp. 15, 22, and 23. |
Horwitz et al., "Dependence Analysis for Pointer Variables," 1989, pp. 28-40. |
Neirynck et al., "Computation of Aliases and Support Sets," Oct. 16, 1986, pp. 274-283. |
Barth, Jeffrey M., "A Practical Interprocedural Data Flow Analysis Algorithm," Sep. 1978, vol. 21, No. 9, pp. 724-736. |
Larus et al., "Detecting Conflicts Between Structure Accesses," Jun. 22-24, 1988, pp. 21-34. |
Larus, James Richard, "Restructing Symbolic Programs for Concurrent Execution on Multiprocessors", Report No. UCB/CSD 89/502, May 1989, Computer Science Division (EECS), University of California, Berkeley, California 94720. |
Guarna, Vincent J., Jr., "A Technique for Analyzing Pointer and Structure References in Parallel Restructuring Compilers," Proceedings of the 1988 International Conference on Parallel Processing, Aug. 15-19, 1988, pp. 211-220. |
Hendren, Laurie J., et al., "Parallelizing Programs with Recursive Data Structures," pp. 1-22. |
Arthur B. Pyster, Ph.D, "Compiler Design and Construction", 1980, pp. 11-13, 21, 130. |
"Code Optimization Across Procedures" by Stephen Richardson et al, Computer, IEEE 1989. |
"Compile-Time Detection of Aliasing in Euclid Programs" by James R. Cordy, Software-Practice and Experience, vol. 14(8) 755-768 (Aug. 1984). |
"Hybrid Incremental Alias Algorithms" by Thomas J. Marlowe et al, IEEE 1991. |