CORDIS
EU research results

CORDIS

English EN
APPLIED SEMANTICS II

APPLIED SEMANTICS II

Objective

The objective of this accompanying measure is to maintain and further develop an existing European network for research and technology transfer in the field of application-oriented semantics of programming languages. Programming languages are one of the essential ingredients for successful software development.
Theoretical results and expertise that are available in the consortium will be used to solve problems relating to programming with proofs, improving specification and verification, type systems, distributed computing, programming with continuous data, programming the web. At the same time and enabled by these practical problems the theoretical toolbox will be further developed, in particular the semantic understanding of sequentiality, distribution, object-orientation and of resource-bounded computation. This will happen through mutual research visits, workshops and one summer school. The objective of this accompanying measure is to maintain and further develop an existing European network for research and technology transfer in the field of application-oriented semantics of programming languages. Programming languages are one of the essential ingredients for successful software development.
Theoretical results and expertise that are available in the consortium will be used to solve problems relating to programming with proofs, improving specification and verification, type systems, distributed computing, programming with continuous data, programming the web. At the same time and enabled by these practical problems the theoretical toolbox will be further developed, in particular the semantic understanding of sequentiality, distribution, object-orientation and of resource-bounded computation. This will happen through mutual research visits, workshops and one summer school.

OBJECTIVES
The principal objective is to maintain and further develop an existing European network for research and technology transfer in the field of application-oriented semantics of programming languages. Specific objectives include
(1): description of existing programming language features (e.g. object-orientation, aspect-orientation, distribution, web-related);
(2): design of new programming language features (eg. programming with continuous data, resource-bounded computation, programming with dependent types);
(3): transformation and generation of programs (eg. partial evaluation, runtime code generation);
(4): specification and verification of programs (e.g. logic for OOP, software model-checking).

DESCRIPTION OF WORK
The aim is to maintain and further develop an existing European network for research and technology transfer in the field of application-oriented semantics of programming languages. Programming languages are (next to algorithms and software engineering) one of the essential ingredients for successful software development. They therefore have a huge economic impact: better programming languages and a better understanding of the existing ones will lead to higher productivity, reduced maintenance and increased software reuse. Europe is a hotbed of programming language research with many internationally respected experts both in semantic theory of programming languages and in implementation. The theoretical results and expertise that are available in the consortium will be used to solve problems relating to programming languages. At the same time and enabled by these practical problems the theoretical toolbox will be further developed.
More specifically, the work programme is centred around the following nine themes:
- Program structuring: object-oriented programming, modules (e.g. type-safe support for modules, OOP, AOP, components)
- Proof assistants, functional programming and dependent types (e.g. programming languages with dependent types);
- Program analysis, generation and configuration (e.g. run-time code generation);
- Specification and verification methods (e.g. software model-checking, testing);
- Types and type inference in programming (e.g. types and effects);
- Games, sequentiality and abstract machines(e.g. game-theoretic semantics for non-determinism);
- Semantic methods for distributed computing (e.g. language support for privacy);
- Resource models and web data (e.g. resource-bounded computation reasoning about linked data);
- Continuous phenomena in Computer Science (e.g. computing with real numbers).

Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Coordinator

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN

Address

Geschwister-Scholl-Platz 1
80539 Muenchen

Germany

Administrative Contact

Martin HOFMANN

Participants (19)

Sort alphabetically

Expand all

AARHUS UNIVERSITET

Denmark

ALBERT-LUDWIGS-UNIVERSITAET FREIBURG

Germany

CHALMERS TEKNISKA HOEGSKOLA AKTIEBOLAG

Sweden

ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE

Switzerland

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

France

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

France

KOEBENHAVNS UNIVERSITET

Denmark

QUEEN MARY AND WESTFIELD COLLEGE, UNIVERSITY OF LONDON

United Kingdom

TALLINNA TEHNIKAUELIKOOLI KUEBERNEETIKA INSTITUUT

Estonia

TECHNISCHE UNIVERSITAET DARMSTADT

Germany

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE

United Kingdom

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD

United Kingdom

THE UNIVERSITY OF BIRMINGHAM

United Kingdom

THE UNIVERSITY OF EDINBURGH

United Kingdom

THE UNIVERSITY OF NOTTINGHAM

United Kingdom

UNIVERSIDADE DO MINHO

Portugal

UNIVERSITA DEGLI STUDI DI GENOVA

Italy

UNIVERSITA DI PISA

Italy

UNIVERSITE PARIS 7 DENIS DIDEROT

France

Project information

Grant agreement ID: IST-2001-38957

  • Start date

    1 January 2003

  • End date

    30 June 2006

Funded under:

FP5-IST

  • Overall budget:

    € 400 000

  • EU contribution

    € 400 000

Coordinated by:

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN

Germany