Static analyses of congruence properties on rational numbers (extended abstract)

This publication has 14 references indexed in Scilit:

• Semantic analysis of interval congruences
  Published by Springer Nature ,2006
• A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• An algorithm for analyzing communicating processes
  Published by Springer Nature ,1992
• Static analysis of arithmetical congruences
  International Journal of Computer Mathematics, 1989
• Introducing symbolic problem solving techniques in the dependence testing phases of a vectorizer
  Published by Association for Computing Machinery (ACM) ,1988
• Automatic translation of FORTRAN programs to vector form
  ACM Transactions on Programming Languages and Systems, 1987
• The theory and practice of transforming call-by-need into call-by-value
  Published by Springer Nature ,1980
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977
• Affine relationships among variables of a program
  Acta Informatica, 1976