Login / Signup

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

Alexandru CostanStephane GaubertEric GoubaultMatthieu MartelSylvie Putot
Published in: CAV (2005)
Keyphrases
  • static analysis
  • fixed point
  • policy iteration
  • dynamic analysis
  • source code
  • dynamical systems
  • temporal difference learning
  • sufficient conditions
  • regular expressions
  • free energy
  • test suite
  • knowledge base