Unification and refactoring of clones.

Giri Panamoottil Krishnan Nikolaos Tsantalis

Published in: CSMR-WCRE (2014)

Keyphrases

software systems
source code
code clones
theorem proving
equational theories
software maintenance
knuth bendix
higher order
open source
software development
object oriented systems
software projects
automated theorem proving
software evolution
high level
medical images
multi agent
high quality