Conference Proceedings

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

Funding Acknowledgements

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.