Comparing the Galois connection and widening/narrowing approaches to abstract interpretation

This publication has 12 references indexed in Scilit:

• Abstract interpretation by dynamic partitioning
  Journal of Functional Programming, 1992
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Inductive definitions, semantics and abstract interpretations
  Published by Association for Computing Machinery (ACM) ,1992
• A technique for summarizing data access and its use in parallelism enhancing transformations
  Published by Association for Computing Machinery (ACM) ,1989
• Static analysis of arithmetical congruences
  International Journal of Computer Mathematics, 1989
• Constructive versions of Tarski’s fixed point theorems
  Pacific Journal of Mathematics, 1979
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• 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
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976