An Approach to Invariant-based Program Refactoring.

Tiago Massoni Rohit Gheyi Paulo Borba

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2006)

Keyphrases

relational databases
affine transformation
database
pattern recognition
software systems
invariant features
programming environment
databases
computer vision
multi agent
static analysis
program execution
control program