Knowledge

1.To know the architecture and techniques used in the design and implementation of interpreters, compilers and type systems

2.To know the essential components of the design of programming languages and corresponding semantics

3.To define programming languages by composition of base elements

Application

4.To define algorithms of the abstract representation of programs

5.To describe language semantics by interpreting, compiler and verification algorithms

6.To design and implement compiler procedures targeting machine code (assembly)

7.To reason about complex systems at different levels of abstraction

8.To design general purpose designs based on first principles