메뉴 건너뛰기
International Journal of Parallel Programming
Volumn 20, Issue 1, 1991, Pages 23-53
Dataflow analysis of array and scalar references
Author keywords

array expansion; Dataflow analysis; semantics analysis
Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS;
EID: 0026109335     PISSN: 08857458     EISSN: 15737640     Source Type: Journal    
DOI: 10.1007/BF01407931     Document Type: Article
Times cited : (414)
References (28)
  • 2
    • 84935201646 scopus 로고    scopus 로고
    • N. Suzuki and D. Jefferson, Verification decidability of Pressburger array programs. Procs. of a Conf. on TCS, Waterloo (1977).
  • 4
    • 0022874874 scopus 로고
    • Advanced compiler optimization for supercomputers
    • (1986) CACM , vol.29 , pp. 1184-1201
    • Padua, D.A.1    Wolfe2
  • 6
    • 84935205037 scopus 로고    scopus 로고
    • Thomas Brandes, The importance of direct dependences for automatic parallelization, ACM Int'l. Conf. on Supercomputing, St. Malo, France (July 1988).
  • 7
    • 0023324953 scopus 로고
    • Data dependence and its application to parallci processing
    • (1987) IJPP , vol.16 , pp. 137-178
    • Wolfe1    Banerjee2
  • 8
    • 84935179347 scopus 로고    scopus 로고
    • Nadia Tawbi, Alain Dumay, and Paul Feautrier, PAF: un paralléliseur automatique pour FORTRAN, Technical Report 185, MASI (1987).
  • 9
    • 84935176713 scopus 로고    scopus 로고
    • L. G. Tesler and H. J. Enea, A language design design for concurrent processes, SJCC, pp. 403–408 (1968).
  • 10
    • 84935197418 scopus 로고    scopus 로고
    • J. C. Syre, D. Comte, and N. Hifdi, Pipelining, parallelism and asynchronism in the LAU system, Int'l. Conf. on Parallel Processing (1977).
  • 12
    • 84935200208 scopus 로고    scopus 로고
    • E. A. Ashcroft and W. W. Wadge, Lucid, the Data-flow Programming Language, Academic Press (1985).
  • 13
    • 84935147812 scopus 로고    scopus 로고
    • J. R. Allen and Ken Kennedy, Automatic loop interchange, Proc. of the ACM SIGPLAN Compiler Conference, pp. 233–246 (June 1984).
  • 14
    • 84935213577 scopus 로고    scopus 로고
    • Patrice Quinton, Mapping recurrences on parallel architectures, 3rd Intl. Conf. on Supercomputing, Boston (May 1988).
  • 15
    • 84935184053 scopus 로고    scopus 로고
    • Paul Feautrier, Asymptotically efficient algorithms for parallel architectures, (ed.), M. Cosnard and C. Girault, Decentralized Systems, pp. 273–284; IFIP WG Vol. 10, No. 3, North-Holland (December 1989).
  • 16
    • 84935210074 scopus 로고    scopus 로고
    • William Pugh, Uniform techniques for loop optimization, ACM Conf. on Supercomputing, pp. 341–352 (January 1991).
  • 17
    • 84935176252 scopus 로고
    • A unified framework for systematic loop transformations
    • (1991) ACM SIGPLAN Notices , vol.26 , pp. 28-38
    • Lu1
  • 19
    • 84935167846 scopus 로고    scopus 로고
    • Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck, An efficient method of computing static single assignment form, Proc. 16th ACM POPL Conf., pp. 25–35 (January 1989).
  • 21
    • 0016026944 scopus 로고
    • The parallel execution of DO loops
    • (1974) CACM , vol.17 , pp. 83-93
    • Lamport1
  • 22
    • 84935214331 scopus 로고    scopus 로고
    • François Irigoin and Rémi Triolet, Supernode partitioning, San Diego, California, Proc. 15th POPL, pp. 319–328 (January 1988).
  • 24
    • 0017427016 scopus 로고
    • An algorithm for structuring programs
    • (1977) J. of the ACM , vol.24 , pp. 98-120
    • Baker1
  • 26
    • 84935148629 scopus 로고    scopus 로고
    • Zahira Ammarguellat, Normalization of Program Control Flow, Technical Report 885, CSRD (May 1989).
  • 27
    • 84935164694 scopus 로고    scopus 로고
    • Pierre Jouvelot and Babak Dehbonei, A unified semantic approach for the vectorization and parallelization of generalized reductions ACM Press, Procs. of the 3rd Int'l. Conf. on Supercomputing, pp. 186 194 (1989).
  • 28
    • 84935158171 scopus 로고    scopus 로고
    • Paul Feautrier, Array expansion, ACM Int'l. Conf. on Supercomputing, St. Malo (1988).

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.