Alias analysis of pointers in Pascal and Fortran 90: Dependence analysis between pointer references*

Acta Informatica

Volumn 33, Issue 2, 1996, Pages 99-130

  Matsumoto, Aki ^a,b   Han, D S ^a   Tsuda, Takao ^a  

^a KYOTO UNIVERSITY   (Japan)

^b MITSUBISHI ELECTRIC CORPORATION   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030546329     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050037     Document Type: Article

References (16)

1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. Reading, MA: Addison-Wesley 1986
2. Banerjee, U.: Dependence analysis for supercomputing. Boston: Kluwer Academic Publishers 1988
3. Chase, D.R., Wegman, M., Zadeck, F.K.: Analysis of pointers and structures. Proc. of SIGPLAN'90 Conf. on Programming Language Design and Implementation (June), pp. 296-310 1990
4. Cooper, K.D.: Analyzing aliases of reference formal parameters. Conf. Rec. 12th ACM Symp. on Principles of Programming Languages (January), pp. 281-290 1985
5. Guarna, V.A. Jr.: A technique for analyzing pointers and structure references in parallel restructuring compilers. Proc. Int. Conf. on Parallel Processing - 1988 (Aug.), vol. 2, pp. 212-220 1988
6. Harary, F.: Graph theory. Reading, MA: Addison-Wesley 1971
7. Hendren, L.J., Nicolau, A.: Interference analysis tools for parallelizing programs with recursive data structures. Proc. Int. Conf. on Supercomputing (June), pp. 205-214 1989
8. Hendren, L.J., Nicolau, A.: Parallelizing programs with recursive data structures. Proc. Internat. Conf. on Parallel Processing (August), pp. II: 49-56 1989
9. Hockney, R.W., Jesshope, C.R.: Parallel computers 2. Bristol: IOP Publishing Ltd. 1988
10. ISO/IEC: Information technology - programming languages - Fortran, ISO/IEC 1539, 2nd ed. 1991
11. Loeliger, J., Metzger, R., Seligman, M., Stroud, S.: Pointer target tracking - an empirical study. Proc. Supercomputing'91, pp. 14-23. Los Alamitos, Calif.: IEEE Computer Society Press 1991
12. Smith, L.L.: Vectorizing C Compilers: how good are they? Proc. Supercomputing'91, pp.544-553. Los Alamitos, Calif.: IEEE Computer Society Press 1991
13. Suehiro, K.: Automatic vectorization and parallelization of while loops. 45th Convention Record of the Information Processing Society of Japan (Tokushima, Oct. 1992), pp. 5-51 and 5-52 (in Japanese)
14. Tsuda, T., Kunieda, Y.: V-Pascal: An automatic vectorizing compiler for Pascal with no language extensions. The J. Supercomputing 5 251-275 (1990)
15. Uehara, T., Tsuda, T.: Automatic vectorization and parallelization of recursive procedures. Proc. Joint Symp. on Parallel Processings'93 (Tokyo, May 1993), pp. 135-142 (in Japanese)
16. Zima, H., Chapman, B.: Supercompilers for vector and parallel computers. New York: ACM Press 1991