Computer Laboratory

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.