English

Varje hösttermin

The fundamental theories and methods used in Compiler Construction are central to the discipline of Computer Science, and widely applicable in both research and software construction.

The course aims to give knowledge of the principal structure of a compiler and about the basic theories and methods used to implement the different parts of the compiler. It should give an understanding for how the theories and the methods can be used in related areas like translation between different source languages, analysis of program properties, interpretation, and analysis of other artificial languages. The course also includes how advanced object-oriented techniques, such as design patterns and aspect-oriented programming can be applied to compiler construction.

The architecture of a compiler. The definition of programming languages: regular expressions, context-free grammars, abstract grammars, attribute grammars. Methods: scanning, parsing, static-semantic analysis, code generation. Runtime systems: memory allocation, automatic memory management (garbage collection). Tools: Scanner-generators, parser-generators, abstract syntax-tree generators, generatorer för attributevaluering. Design patterns (visitor, interpreter). Application areas for compiler construction.

understand formalisms for syntactic descriptions: regular expressions, context-free grammars, and abstract grammars.
understand formalisms for program analysis: attribute grammars
be able to describe compiler phases, runtime systems, and different kinds of internal representations.

be able to implement parsers for programming languages with parser-generators
be able to implement semantic analysis and code generation using attribute grammars and imperative programming
be able to implement runtime systems by interpretation

demonstrate ability to critically evaluate different compilation methods and their applications to different areas.

Föreläsningar

Laborationer

Skriftlig tentamen

Underkänd, godkänd

EDAA01 Programming - Second Course

Appel, A.: Modern Compiler Implementation in Java. Cambridge University Press, 2002. ISBN 052182060X.

EDAN65F

 -03-22

Professor Thomas Johansson