next up previous contents
Next: Operating Systems Up: Descriptions of Modules and Previous: Functional Programming and Specification   Contents

Subsections

Language Semantics and Implementation

Description

The aim of the course is to present a unified view of programming language semantics and implementation, based upon the linked notions of structured operational semantics and abstract machines. Different styles of languages (such as declarative and object oriented) will be treated.

Syllabus

Language Semantics
Semantic rules as an inference system; treatment of function declaration and application, variable assignment, scope, iteration, parameter passing, exceptions; static semantics (type-checking).
Abstract Machines
Landin's SECD for functional languages; the analogous SMC machine for imperative languages; proof of equivalence between these machines and the inference semantics.
Implementation
Specifying translations between languages; completeness and soundness of translations.

Assessed Coursework

The coursework is in three parts (and accounts for 25$\%$ of the overall mark):
  1. 3 weeks duration, due end of week 4
  2. 3 weeks duration, due end of week 7.
  3. 3 weeks duration, due end of week 10.
The coursework consists mostly of paper and pencil exercises, but there may be programming exercises.


\begin{references}
\stars{1} M. Hennessy,
\emph{The Semantics of Programming La...
...dge, \\
{\bf http://www.cl.cam.ac.uk/Teaching/2000/Semantics/}
\end{references}


next up previous contents
Next: Operating Systems Up: Descriptions of Modules and Previous: Functional Programming and Specification   Contents
CS3 dummy user 2001-09-25