The Formal Transformation Approach to Source Code Analysis and Manipulation.

Published in: SCAM (2001)

Keyphrases

high level
source code
static analysis
impact analysis
mining software repositories
manual inspection
software systems
software projects
software maintenance
open source
open source software
code reuse
software engineers
software evolution