Program Normalization
Program-Transformation.Org: The Program Transformation Wiki
Program normalization is a ProgramTransformation that reduces a program to a program in a sub-language, with the purpose of decreasing its syntactic complexity.
CategoryTransformation | -- EelcoVisser - 03 May 2001