Program normalization is a
ProgramTransformation
that reduces a program to a program in a sub-language, with the purpose of decreasing its syntactic complexity.
ProgramSimplification
?
ProgramDesugaring
?
AspectWeaving
?
CategoryTransformation
| --
EelcoVisser
- 03 May 2001
Revision: r1.2 - 08 Jan 2002 - 10:51 -
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