Static Analysis by Policy Iteration on Relational Domains

This publication has 10 references indexed in Scilit:

• Static Analysis of Numerical Algorithms
  Published by Springer Nature ,2006
• A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs
  Published by Springer Nature ,2005
• Incremental Algorithms for Inter-procedural Analysis of Safety Properties
  Published by Springer Nature ,2005
• A New Numerical Abstract Domain Based on Difference-Bound Matrices
  Published by Springer Nature ,2001
• The duality theorem for min-max functions
  Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 1998
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Static determination of dynamic properties of generalized type unions
  ACM SIGSOFT Software Engineering Notes, 1977
• 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
• On Nonterminating Stochastic Games
  Management Science, 1966