Objetivo
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).
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
- ciencias naturales informática y ciencias de la información software desarrollo de software
- ciencias sociales economía y empresa ciencia económica economía de la producción productividad
Para utilizar esta función, debe iniciar sesión o registrarse
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Coordinador
80539 MUENCHEN
Alemania
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.