Electronic proceedings of the Second APPSEM Workshop

The second APPSEM workshop was held in Edinburgh 7-9 September 1999 Workshop program abstracts of the talks dvi ps

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


Topic A: Semantics for oject-oriented programming Topic B: Program structuring Topic C : Integration of functional languages and proof assistants Topic D: Verification methods Topic E : Automatic program transformation Topic F: Games, sequentiality and abstract machines Topic G: Types and type inference in programming Topic I : Domain theory and real number computation

Last modified: Mon Feb 7 12:56:01 GMT 2000