« Haskell resources | Main | Symbolic analysis of programs »
May 11, 2005
Abstract Interpretation
The work of Cousot on Abstract Interpretation clearly shows a lot of promise for program analysis. The latest work on using parametric abstraction and langragians is particularly intriguing. There is a course at MIT that looks like quite a complete introduction.
Posted by Carette at May 11, 2005 02:10 PM