Objective
"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."
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. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
FP7-PEOPLE-2010-IOF
See other projects for this call
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Coordinator
DD1 4HN Dundee
United Kingdom
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.