Static analysis of linear congruence equalities among variables of a program
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 169-192
- https://doi.org/10.1007/3-540-53982-4_10
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Static analysis of arithmetical congruencesInternational Journal of Computer Mathematics, 1989
- Automatic translation of FORTRAN programs to vector formACM Transactions on Programming Languages and Systems, 1987
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Affine relationships among variables of a programActa Informatica, 1976