Course pages 2011–12

# Algebra and programming semantics

**Principal lecturer:** Prof Sir Tony Hoare**Taken by:** MPhil ACS, Part III**Code:** M004**Hours:** 8**Prerequisites:** Some acquaintance and interest in the ideas of Milner or Hoare or Plotkin, ...

## Aims

To have fun with the algebra of sequential and concurrent programming, in application to programming languages, programs and proofs.

## Syllabus

- Algebraic laws for sequential and concurrent programming
- Algebraic laws as a common foundation for programming language semantics
- Mathematical models for the algebraic laws

## Objectives

To improve our way of thinking about formal methods in programming, programming tools, and programming languages.

## Coursework

According to the student's discretion and interests.

## Practical work

According to the student's discretion and interests.

## Assessment

None

## Recommended reading

None: students will be recommended to consult interesting articles in Wikipedia.