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

Revision: r1.1 - 03 May 2001 - 18:46 - EelcoVisser
Transform > ProgramNormalization
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback