Super Compilation
Program-Transformation.Org: The Program Transformation Wiki
A ProgramOptimization technique, due to ValentinTurchin and
colleagues, more powerful than DeforestationTransformation?.
Originally applied to REFAL language, it's recently being applied to
other Declarative and Procedural (JavaLanguage) ProgrammingLanguages.
See also:
- SuperCompilers
- ScpJ Project - Supercompilation for Java