Edinburgh Site Page for the APPSEM Working Group

Esprit Working Group 26142 - Applied Semantics

APPSEM is a working group in the ESPRIT program of the European Union. APPSEM will officially start on 1 April 1998 and will end on 31 March 2001.

2nd Annual Workshop of ESPRIT WG APPSEM, 7 - 9 September 1999, Edinburgh.

electronic proceedings Workshop program abstracts of the talks dvi ps

The purpose of the APPSEM working group is to bring reseachers in the area of programming languages together. The specific aim is to improve the communication between theoreticians and practitioners. In this way we wish to speed up the application of new theoretical ideas in practice.

Edinburgh is a site in the APPSEM working group.

TCOOL is a project in Edinburgh whith goals fitting in the general aim of APPSEM


The themes of APPSEM focus on the following general areas:

The themes are

APPSEM is coordinated by Peter Dybjer, Chalmers University of Technology.



The research team at Edinburgh is part of the Laboratory for the Foundations of Computer Science (LFCS) within the Department of Computer Science. The site leader is Samson Abramsky.

The LFCS is one of the largest research groups in Foundations of Computer Science in Europe, with about 70 members. There is extensive expertise in type theory (Plotkin), computer-assisted formal reasoning (Burstall), formal specification and program development (Sanella), semantics of programming languages (Plotkin, Abramsky), concurrency (Stirling, Bradfield, Abramsky), axiomatic and synthetic domain theory (Plotkin, Fiore, Simpson) and the applications of category theory to Computer Science (Plotkin, Power). Systems developed at LFCS include Standard ML, Lego, and the Concurrency Workbench.

Edinburgh expects to contribute to themes A, D, G and H.


TCOOL Typed Concurrent Object-Oriented Languages: foundations, methods and tools.

This 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 project is funded by EPSRC.

The aim of this project 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 goal is towards obtaining a mapping of Java (or any similar language with concurrent object-oriented features) into a small core calculus, which is a typed lambda-calculus plus non-determinism and state. This mapping is important for us in the light of our recent work using game semantics to give fully abstract models for Idealized Algol and a number of other languages. For program analysis and verification, it is intended to apply static analysis techniques based on abstract interpretation.


Imperial College

University of Edinburgh

Oxford University

Last modified: Mon Feb 7 12:55:02 GMT 2000