Symbolic program analysis and optimization for parallelizing compilers
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 538-562
- https://doi.org/10.1007/3-540-57502-2_69
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Automatic recognition of induction variables and recurrence relations by abstract interpretationPublished by Association for Computing Machinery (ACM) ,1990
- Compiling C for vectorization, parallelization, and inline expansionPublished by Association for Computing Machinery (ACM) ,1988
- Dependence Analysis for SupercomputingPublished by Springer Nature ,1988
- Detecting equality of variables in programsPublished by Association for Computing Machinery (ACM) ,1988
- Automatic translation of FORTRAN programs to vector formACM Transactions on Programming Languages and Systems, 1987
- Applications of symbolic evaluationJournal of Systems and Software, 1985
- Symbolic Evaluation and the Analysis of ProgramsIEEE Transactions on Software Engineering, 1979
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978
- An algorithm for reduction of operator strengthCommunications of the ACM, 1977
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977