A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs

This publication has 18 references indexed in Scilit:

• Efficient chaotic iteration strategies with widenings
  Published by Springer Nature ,2006
• From max-plus algebra to nonexpansive mappings: a nonlinear theory for discrete event systems
  Theoretical Computer Science, 2003
• Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter
  Published by Springer Nature ,2002
• A constructive fixed point theorem for min-max functions
  Dynamics and Stability of Systems, 1999
• The duality theorem for min-max functions
  Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 1998
• Min-max functions
  Discrete Event Dynamic Systems, 1994
• Abstract interpretation by dynamic partitioning
  Journal of Functional Programming, 1992
• Static analysis of linear congruence equalities among variables of a program
  Published by Springer Nature ,1991
• Strictness analysis — a practical approach
  Published by Springer Nature ,1985
• On Nonterminating Stochastic Games
  Management Science, 1966