Automatic Abstraction for Congruences
A King, H Sondergaard, G Barthe (ed.), M Hermenegildo (ed.)
Lecture Notes in Computer Science: Verification, Model Checking and Abstract Interpretation 11th International Conference, VMCAI | Springer Berlin Heidelberg | Published : 2010
Awarded by EPSRC project
This work was funded by the EPSRC project EP/F012896, a Royal Society Industrial Fellowship, and a Tewkesbury Fellowship that enabled the first author to visit the University of Melbourne. We thank Tom Reps forhelpful discussions on the notion of a best symbolic transformer.