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. Examples of normalizations are ProgramDesugaring? and ProgramSimplification?.


CategoryTransformation | -- EelcoVisser - 03 May 2001