-
Patrick Cousot.
Discrete Fixpoint Approximation Methods in Program Static Analysis.
Seventh International Colloquium on Numerical Analysis and Computer Science
with Applications, NACSA'98, Plovdiv, Bulgaria, August 13-17, 1998.
- Abstract:
We describe fixpoint equations methods and theorems in static analysis by abstract interpretation, their abstraction by Galois connections, and the iterative resolution of the abstract equations by convergence acceleration.
- Slides: .pdf