Contributions offered by Martin Wehr for topics 
A (semantics for object-oriented programming), 
F (games, sequentiality, and abstract machines), 
G (types and type inference in programming)
H (Semantics-based optimization)

I would like to present a generalisation of algebraic data types
as known from ML or Haskell. This reveals connections of 
sub-structural logics, game semantics and abstract machines. 
The goal of this approach is to extend the game semantically 
achieved full abstraction results for PCF-variants to cover 
polymorphism. 

I would then like to talk about "The TCOOL project"

TCOOL = Typed Concurrent Object-Oriented Languages:
is a joint project between the Department of Computing, Imperial College, 
London and the Department of Computer Science, University of Edinburgh. We also
have a collaborator at the Computing Laboratory, Oxford University.
   The aim of our work is to provide sound semantic foundations for languages 
such as Java, and to develop methods and tools for the analysis and 
certification of programs written in these languages.
   The methods used on are extensions game sematical models ala Abramsky 
et.al. A collapse of these models leads to new static analysis based on 
abstract interpretation.
   Applications include extending control-flow based static analysis
to languages with higher-order procedures and local state; and to
certification of secure information flows in such languages.

The TCOOL-web page can be found at:

http://theory.doc.ic.ac.uk/~raja/tcool.html

--------------------------------------------------------------
Result of feedback form submitted by
Martin (wehr@dcs.ed.ac.uk) on Monday, July 20, 1998 at 16:58:5