Navigation
|
Synopsis Tranform source code to an executable form.
Description A compiler transforms the source code of a program (in a source langue) to an executable form
(in a target language)
and consists of the following phases:
- Parser: read the source code and build an AbstractSyntaxTree.
- Typechecker: perform a semantic analysis of the code, resolve all names and verify that the program is type correct.
- Optimisation: perform optimisations (e.g., constant folding, dead code elimination, call unfolding). This can be seen as a form of Refactoring.
- Code generation: generate the final code, this can be asembly language or directly executable code.
|