Array expansion

Proceedings of the International Conference on Supercomputing

Volumn Part F130184, Issue , 1988, Pages 429-441

  Feautrier, Paul ^a  

^a SORBONNE UNIVERSITÉ   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY;

ALGORITHM FOR SOLVING; GENERAL SOLUTIONS; INTEGER PROGRAM; MEMORY CELL; PARALLEL EXECUTIONS; PROGRAM CHECKING; RESTRUCTURING PROGRAMS; SINGLE-ASSIGNMENT PROPERTIES;

INTEGER PROGRAMMING;

EID: 84958731989     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/55364.55406     Document Type: Conference Paper

References (9)

1. Aho A.V, Sethi R, Ullman J.D Compilers: Principles, Techniques and Tools Addison-Wesley, Reading, Mass, 1986
2. Allen, J.R., Kennedy K. Automatic Loop Interchange SIGPLAN Notices, 19, 1984
3. Baker B.S An algorithm for structuring programs JACM 24, 98-120, 1977
4. Cousot P, Halbwach N. Automatic Discovery of Linear Restraints among Variables of a Program ACM POPL, 1978
5. Feautrier P. Parametric Integer Programming to appear in RAIRO Recherche Operationelle, September 1988
6. P. Jouvelot Semantic parallelizatio, a practical exercise in abstract interpretation ACM-POPL '87, Munich
7. Kuck DJ The structure of computers and computations. J. Wiley and sons, New York, 1978
8. Padua D.A, Wolfe M. J Advanced Compiler optimization for super computers CACM, 1986
9. Wolfe M. J Techniques for improving the inherent parallelism in programs. M.S. thesis, Univ of Illinois at Urbana-Champlain, 1978.