Computing Science - Compilers yr 4

Compilers (4th year)

Lectures

Hi an initial introduction
Grammars and machines
Assemblers

Gas
Nasm

Instruction sets

Compiler compilers

Lex
yacc
Sable at http://sablecc.org/
Manual at: thesis,

Construction of Lexical analysers

General principles

as ppt file

Software implementation

Automatic Construction

Primitive operations in Hi
Derived operators or functions
Vector constructors (also as formated notes)
Advanced procedure call mechanisms
Register window approaches
Garbage collection

conservative garbage collection
persistent heaps

Object oriented compilation techniques
Register allocation algorithms
Implementation of map in imperative code
Automatic code generation using ILCG

Labs

Background notes for the practical work
Mark allocation

Samples of code you can use

sample Hi programs as a tar archive

Monad remover this is a class that removes monadic operations from a Hi syntax tree.

The full Hi grammar in Sable form.

An example working Hi system (binary only)

The Sable CC system

sableutil.jar sablecc.jar

INTRODUCTION

The course attempts to focus on more advanced concepts in the implementation of programming languages. .

PRACTICAL WORK

Students will be expected to do some practical work on modifying a compiler for a simple language. Key points are

the fact that automatic compiler construction tools are to be used rather than hand coded parsers,
the fact that the language supports high level map operations on data,
the need to generate real machine code
the use of a functional source language
the use of an array source language