Verifying the correctness of compiler transformations on basic blocks using abstract interpretation

This publication has 10 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Automatic recognition of induction variables and recurrence relations by abstract interpretation
  Published by Association for Computing Machinery (ACM) ,1990
• Fortran 8x Explained
  Computers in Physics, 1989
• Revised ³ report on the algorithmic language scheme
  ACM SIGPLAN Notices, 1986
• Discovering machine-specific code improvements
  ACM SIGPLAN Notices, 1986
• 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
• Fixpoint approach to the theory of computation
  Communications of the ACM, 1972
• The correctness of programs
  Journal of Computer and System Sciences, 1969
• Correctness of a compiler for arithmetic expressions
  Proceedings of Symposia in Applied Mathematics, 1967
• Über die Bausteine der mathematischen Logik
  Mathematische Annalen, 1924