Supervisor

Suitable for

Abstract

The Oxford Oberon--2 compiler (obc) is used in Oxford for teaching imperative programming. It compiles Oberon programs into a simple bytecode which is then interpreted. Recent versions of the compiler and run-time system have the infrastructure to support a symbolic debugger. The aim of this project is to write a debugger using the interfaces provided. Since the compiler is written in Objective Caml, that would be a sensible language to use for implementing the debugger.