Semantic-Based Program Manipulation

ATLANTIQUE - EC-US025

Keywords: semantics, declarative languages

Start Date: 1 July 93 / Duration: 48 months

Objectivies and Approach

The aim of the project is to strengthen existing research ties and to establish new ties in the area of semantic-based program manipulation, focusing on partial evaluation in automatic programme transformation, on abstract interpretation in the understanding of a programme's semantics, and on the application of these techniques in declarative languages.

This will be achieved through :

longer transatlantic visits of up to one month
shorter visits for intense research collaboration, of around a week's duration
specialised workshops.

Coordinator

University of Copenhagen
Universitetparken, 1
DK - 2100 COPENHAGEN, DK

EU Partners

University of Copenhagen, DK
Aarhus University, DK
Ecole Normale Supérieure, F
Chalmers Tekniska Högskola, S
The Imperial College of Science, UK
University of Glasgow, UK

Non-EU Partners

City University of New York, USA
Kansas State University, USA
Northeastern University, USA
New York University, Courant Institute, USA
Oregon Graduate Institute, USA
Stanford University, USA
Yale University, USA
Carnegie Mellon University, USA

CONTACT POINT

Prof. Neil D. Jones
Phone: +45 35 32 14 10
Fax: +45 35 32 14 01
E-mail: neil@diku.dk

ATLANTIQUE - EC-US025, May 1997

please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook