Wolfgang De Meuter
Last revision: August 7th, 1996

Denotational semantics of Agora


One of our research activities is to specify a denotational semantics of Agora. This is not an easy job since part of the definition of Agora is that Agora should be implemented in another object-oriented programming language in order for the reflective facilities to work properly.
The denotational semantics of the inheritance mechanism of Agora has already been made clear in a toy variant of Agora, called MiniMix. MiniMix defines encapsulated inheritance on objects.
Currently, we are working on a denotational definition of the reflective parts of Agora.