Static analysis of linear congruence equalities among variables of a program
Author:
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 169-192
Abstract
No abstract availableKeywords
This publication has 6 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
- Systematic design of program analysis frameworks1979
- Automatic discovery of linear restraints among variables of a program1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977
- Affine relationships among variables of a programActa Informatica, 1976