Skip to main content

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).

Funding Scheme

THN - Thematic network contracts

Coordinator

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Address
Geschwister-scholl-platz 1
80539 Muenchen
Germany

Participants (19)

AARHUS UNIVERSITET
Denmark
Address
Nordre Ringgade 1
8000 Aarhus
ALBERT-LUDWIGS-UNIVERSITAET FREIBURG
Germany
Address
Fahnenbergplatz
79085 Freiburg
CHALMERS TEKNISKA HOEGSKOLA AKTIEBOLAG
Sweden
Address

412 96 Goeteborg
ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE
Switzerland
Address
Ecublens
1015 Lausanne
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
Address
Domaine De Voluceau
78153 Le Chesnay
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France
Address
Domaine De Voluceau
78153 Le Chesnay
KOEBENHAVNS UNIVERSITET
Denmark
Address
Noerregade 10
1017 Copenhagen
QUEEN MARY AND WESTFIELD COLLEGE, UNIVERSITY OF LONDON
United Kingdom
Address
Mile End Road
E1 4NS London
TALLINNA TEHNIKAUELIKOOLI KUEBERNEETIKA INSTITUUT
Estonia
Address
Akadeemia Tee 21
12618 Tallinn
TECHNISCHE UNIVERSITAET DARMSTADT
Germany
Address
Karolinenplatz 5
64289 Darmstadt
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
United Kingdom
Address
The Old Schools, Trinity Lane
CB2 1TN Cambridge
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom
Address
University Offices, Wellington Square
OX1 2JD Oxford
THE UNIVERSITY OF BIRMINGHAM
United Kingdom
Address
Edgbaston
B15 2TT Birmingham
THE UNIVERSITY OF EDINBURGH
United Kingdom
Address
Old College, South Bridge
EH8 9YL Edinburgh
THE UNIVERSITY OF NOTTINGHAM
United Kingdom
Address
University Park
NG7 2RD Nottingham
UNIVERSIDADE DO MINHO
Portugal
Address
Largo Do Paco
4704 553 Braga
UNIVERSITA DEGLI STUDI DI GENOVA
Italy
Address
Via Balbi 5
16126 Genova
UNIVERSITA DI PISA
Italy
Address
Lungarno Pacinotti 43/44
56100 Pisa
UNIVERSITE PARIS 7 DENIS DIDEROT
France
Address
Place Jussieu 2
75251 Paris Cedex 05