An abstract interpretation framework for refactoring with application to extract methods with contracts.

Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett

Browse the full OOPSLA paper archive.