Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

PLATFORM

Financiado

Cerrado

PRACTICAL LIGHT TYPES FOR RESOURCE CONSUMPTION

"Eliminating errors early in the software-design life cycle is crucial to reduce the tremendous societal cost represented by defective software. Modern programming languages offer a variety of techniques for ensuring, at design ti... ver más

24/07/2014

UNIVDUN

219K€

Presupuesto del proyecto: 219K€

Líder del proyecto

UNIVERSITY OF DUNDEE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Ver 2 Participantes

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2014-07-24 No tenemos la información de la convocatoria

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

2 Participantes

UNIVDUN

0.00€ | Lider

UNIBO

N.D. | Participante

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

VSSC Verifying and Synthesizing Software Compositions 2M€ Cerrado

LiquidEff LiquidEff Algebraic Foundations for Liquid Effects 150K€ Cerrado

RYC2018-025200-I Compile-time code analysis and optimization 309K€ Cerrado

DC-IR AI based software platform 71K€ Cerrado

MEMCAD Memory Compositional Abstract Domains Certification of Memor... 1M€ Cerrado

SPADE Sophisticated Program Analysis Declaratively 1M€ Cerrado

Líder del proyecto

UNIVERSITY OF DUNDEE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 219K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto "Eliminating errors early in the software-design life cycle is crucial to reduce the tremendous societal cost represented by defective software. Modern programming languages offer a variety of techniques for ensuring, at design time, the correctness of software systems with respect to the desired behaviors. However, these techniques do not consider usually the software aspects related to programs resource consumption, in terms of execution time, memory space, energy consumption, etc. So, new contributions and novel challenging ideas are needed. The present project aims at filling this gap achieving three main goals: 1-Showing that a concrete methodology combining the resource management facilities offered by light linear type systems and by the ideas of implicit computational complexity, with the features usually offered by practical programming languages provides extremely accurate information about the behavior of concrete programs and their resource consumption. 2-Developing a practical programming language integrating the resulting methodology in the form of a precise type system where types contain information, in the form of dependent types, about the resources needed by programs during their execution and where type checking a program will naturally corresponds to exhibit a certification of its resource consumption. 3-Demonstrating the successfulness of the language by implementing concrete resource-sensible applications. This will be done by targeting concrete examples taken from compiler correctness and component-based programming. In particular, in the latter, the modularity offered by the use of type systems will be useful to express resource consumption constraints per component, and to combine them over compositions of components. The broader interest of this proposal lies in the opportunities it will supply to improve the software quality by eliminating errors, usually difficult to fix, related to programs resource consumption."

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores