Program Analysis
Program-Transformation.Org: The Program Transformation Wiki
Program analysis is the (automated) inspection of a program to infer some property. Program analysis is needed for most kinds of ProgramTransformation
and can range from simple local properties in PatternMatching to more complicated global properties in DeadCodeElimination?.
Tools for program analysis
Analysis paradigms
CategoryAnalysis | Contributions by EelcoVisser