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).
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques.
- natural sciencescomputer and information sciencessoftwaresoftware development
- social scienceseconomics and businesseconomicsproduction economicsproductivity
You need to log in or register to use this function
Topic(s)
Call for proposal
Data not availableFunding Scheme
THN - Thematic network contractsCoordinator
80539 MUENCHEN
Germany