Program Analysis Games

Chris Hankin

(Imperial College, London)

By "Program Analysis" we refer to a collection of techniques that have been developed for statically analysing programs. Program analysis has applications in optimising compilers, program verification and debugging. We will start by reviewing the area and providing a simple example.

For object-oriented languages and functional languages, an important analysis is "Control Flow Analysis". We have recently developed a new approach to this problem. Our algorithm has the same complexity as state-of-the-art algorithms. In contrast to many approaches, it is semantics-based and easy to extend to new language features.

The approach is based on Game Semantics. The talk will include a brief overview of this new approach to programming language semantics.

(The work reported in this seminar is joint with Pasquale Malacaria)
Tuesday 2nd December 1997, 14:30
Seminar Room 322
Department of Computer Science