Definition Program transformation is the act of changing one program into another. The term program transformation is also used for a program, or any other description ...

Partial evaluation is a ProgramOptimization technique in which a program is specialized to a part of the input that is known statically (at specialization time). Partial ...

ProgramOptimization is a kind of ProgramTransformation aimed at improving the time or memory performance of a program. CompilationByTransformation makes heavy use ...

ProgramSpecialization is used where a variable is known to often hold one particular value. In this case, it is possible to generate code taking advantage of this ...

International Static Analysis Symposium Description Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification ...

Charles W. Krueger provides a survey in the ACM Computing Surveys 24(2):131-183, June 1992. Software reuse is the process of creating software systems from existing ...

From http://compose.labri.u-bordeaux.fr/prototypes/tempo/ : evaluation is a transformation that automates a specialization process. Tempo is a partial evaluator for ...

An overview of various forms of ProgramTransformation. Translation ProgramMigration ProgramSynthesis ProgramRefinement ProgramCompilation ReverseEngineering DeCompilation ...