Sign in

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

Patrick CousotRadhia CousotFrancesco LogozzoMichael Barnett
Published in: OOPSLA (2012)
Keyphrases
  • abstract interpretation
  • database
  • open source
  • software systems
  • relational databases
  • source code