Basic Concepts of Abstract Interpretation

This publication has 9 references indexed in Scilit:

• Comparing the Galois connection and widening/narrowing approaches to abstract interpretation
  Published by Springer Nature ,2005
• A static analyzer for large safety-critical software
  Published by Association for Computing Machinery (ACM) ,2003
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
  Theoretical Computer Science, 2002
• Abstract Interpretation Based Formal Methods and Future Challenges
  Published by Springer Nature ,2001
• Partial Completeness of Abstract Fixpoint Checking
  Published by Springer Nature ,2000
• Types as abstract interpretations
  Published by Association for Computing Machinery (ACM) ,1997
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• 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