Typed Programming Languages for Communicating Object Systems
This project is funded by a travel grant from the British Council in Portugal
(£1000) and the
Portuguese Council of University
Rectors (Euro 1500) under the Treaty of
Windsor Programme. The project will run from April 2002 to April 2003.
The project is a collaboration with Dr Vasco
Vasconcelos of the University of
Lisbon and Dr Antonio
Ravara of the Technical
University of Lisbon.
To understand the relationship between session types (structured
specifications of communication channels, describing branching sequences of
message types) and non-uniform object types (in which the availability
of methods is dependent on an object's state).
To develop the ideas of session types and non-uniform object types
into type systems or program analysis tools which can be applied to
mainstream programming languages.