Improving the results of static analyses of programs by local decreasing iterations

This publication has 19 references indexed in Scilit:

• 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
• 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 of strictness analysis for higher order functions
  Published by Springer Nature ,1986
• The theory and practice of transforming call-by-need into call-by-value
  Published by Springer Nature ,1980
• Constructive versions of Tarski’s fixed point theorems
  Pacific Journal of Mathematics, 1979
• Affine relationships among variables of a program
  Acta Informatica, 1976
• Global Data Flow Analysis and Iterative Algorithms
  Journal of the ACM, 1976
• A synthesizer of inductive assertions
  IEEE Transactions on Software Engineering, 1975