Module overview
The aim of this module is to expose students to ways of representing an transforming programs and other languages. This include the definition of languages through grammars and the parsing languages into data-structures. The module then explores the ideas of translating between languages, and mapping domain-specific languages to different backends (as seen in many AI tool-chains). The course also covers the step of compiling down from high-level representations to instructions, ensuring students understanding the complete lowering process.
Aims and Objectives
Learning Outcomes
Subject Specific Practical Skills
Having successfully completed this module you will be able to:
- Create a source-to-source code translator
- Develop test and verification infrastructure to support development and optimisation
- Create a compiler from an existing imperative language to a given instruction set
- Implement a parser for a context-free language
Subject Specific Intellectual and Research Skills
Having successfully completed this module you will be able to:
- Develop AST re-writing algorithms to transform and optimise code
- Construct grammars to parse existing languages
- Design ASTs to capture a target language or DSL
Knowledge and Understanding
Having successfully completed this module, you will be able to demonstrate knowledge and understanding of:
- Explain how high-level language constructs are lowered into instruction sequences
- Identify the advantages and disadvantages of compiler, interpreted, and embedded languages.
- Describe common compiler optimisations and predict how it might affect high-level code.
- Theory of grammars and parsing automata
Syllabus
Languages:
-Grammars (follows on from RegEx in yr1)
-Parsers
-ASTs
Language processors:
-Interpreters
-Transformers (source to source)
-DSLs and Metaprogramming
Compilation:
- Mapping expression evaluation into instructions
- Converting control-flow statements into instructions
-Functions, stacks, and frames
Modern compilers:
-Optimisation
-Register allocation
- Intermediate Representations
-Basic Blocks & SSA
Learning and Teaching
Teaching and learning methods
- Lectures
- Guided self-study
- Computing labs
| Type | Hours |
|---|---|
| Completion of assessment task | 80 |
| Lecture | 32 |
| Independent Study | 28 |
| Specialist Laboratory | 10 |
| Total study time | 150 |
Assessment
Summative
This is how we’ll formally assess what you have learned in this module.
| Method | Percentage contribution |
|---|---|
| Computing assignment | 20% |
| CAA Exam | 20% |
| Computing assignment | 50% |
| Class Test | 10% |
Referral
This is how we’ll assess you if you don’t meet the criteria to pass this module.
| Method | Percentage contribution |
|---|---|
| CAA Exam | 30% |
| Coursework | 70% |