COMP3012/G53CMP Lecture Note Index

Autumn 2018

This page will contain links to all electronic material used during the lectures, in particular electronic slides and any major pieces of code. The slides are all in PDF, and there are three versions available for each lecture. The basic version is intended for on-screen viewing only, whereas the 4-up and 9-up versions are mainly intended for printing, putting 4 and 9 slides respectively on each page.

Lecture 1: Administrative Details and Introduction

4 October 2018

Slides
Slides 4 up
Slides 9 up
The TXL Compiler Example
- TXL2C Haskell source code
- txl2c executable Should run on pretty much any x86-based Linux systems. Tested on Fedora release 20. Not for Windows/Mac. Sorry.
- Example 1: TXL source code, token sequence, Abstract Syntax Tree, pretty-printed Abstract Syntax Tree, generated C code.
- Example 2: TXL source code, token sequence, Abstract Syntax Tree, pretty-printed Abstract Syntax Tree, generated C code.
- And finally, for you enjoyment, the x86 assembly code generated by GCC (the GNU C Compiler) for Example 1, and a hexadecimal dump of of the resulting machine code.

Lecture 2: Defining Programming Languages

4 October 2018

Slides
Slides 4 up
Slides 9 up
Recap of central notions of formal language theory: Slides, 4 up, 9 up
Some links that might be of interest:

Lecture 3: Syntactic Analysis: Bottom-Up Parsing

18 October 2018

Lecture 4: Syntactic Analysis: Parser Generators

18 October 2018

Slides
Slides 4 up
Slides 9 up
The Happy TXL Parser Examples
- HappyTXL.y: source code for basic Happy TXL parser.
- HappyTXL.hs: result of running Happy to translate HappyTXL.y into pure Haskell.
- HappyTXL2.y: source code for Happy TXL parser making use of operator precedence and associativity specifications.
- HappyTXLInterpreter.y: source code for Happy TXL interpreter.
- HappyTXLInterpreterAG.y: source code for Happy TXL interpreter formulated as an Attribute Grammar.
Some links that might be of interest: