« Harmonia Project | Main | Programming Languages References »
March 27, 2007
Abstract Interpretation
There are quite a number of interesting domains and techniques outlined on Antoine Mine's page. Well worth keeping track of.
Posted by Carette at March 27, 2007 08:50 PM