Semantic-Based Program Manipulation


ATLANTIQUE - EC-US025

Keywords: semantics, declarative languages


Start Date: 1 July 93 / Duration: 48 months

[ participants / contact]


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 :


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


INCO synopses home page INCO cooperation index INCO keyword index
INCO acronym index INCO number index INCO Working Groups index
All
synopses home page all keywords index all acronyms index all numbers index

ATLANTIQUE - EC-US025, May 1997


please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook