P. Cousot, Discrete Fixpoint Approximation Methods\\[0.5ex]
in Program Static Analysis
-
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: compressed postscript
- Transparents/Slides: PDF (207 K)
copyright notice
Last modified:
Monday, 04-Jan-2010 13:55:37 CET