Compilation is a form of synthesis in which a program in a high-level language is transformed to machine code. This translation is usually achieved in several phases in which a high-level language is first translated into an intermediate representation. Instruction selection then translates the intermediate representation into machine instructions.

The compilation process usually also involves a number of ProgramRephrasings. For example, ProgramNormalizations such as IrCanonicalization and AlgebraicSimplification and various forms of ProgramOptimizations.

-- Main.EelcoVisser - 2000

----

Topics

	* ProgramOptimization
	* StaticTranslators
	* DynamicTranslators
		* JustInTime

	* CodeGeneration

	* DeCompilation
	 
Resources

	* [[http://compilers.iecc.com/][comp.compilers newsgroup]]

-- Main.EelcoVisser - 02 Dec 2001

----

CompilationByTransformation is a paradigm in which compilation is implemented by means of
of a series of transformations. The paper on RealisticCompilationByProgramTransformation was
the first to formulate the paradigm. The approach is used in the GlasgowHaskellCompiler. 

-- Main.EelcoVisser - 2000

----
CategoryTransformation | Contributions by Main.EelcoVisser