Automatic Prediction of Resource Bounds for Embedded Systems Specific Targeted Research Project (STReP) FET Open

Purpose: to describe the formal techniques used in the HUME Heap-space analysis and to explain how the results of the HUME Heap-space analysis are to be interpreted. Results: We have constructed a resource-aware type system for a slightly simplified version of HUME, whose annotated typings yield provable upper bounds on Heap-space consumption of the typed terms. Conclusion: The principal goal of this piece of work has been successfully achieved, providing a critical foundation for the success of the project as a whole. Moreover, in undertaking the work, we have identified a number of new ideas for further research that could be performed in order to improve the precision of the bounds we obtain and to increase the range of programs whose costs can be accurately determined. Project co-funded by the European Commission within the 6th Framework Programme (2002-06) Dissemination Level PU Public> PP Restricted to other programme participants (including the Commission Services) RE Restricted to a group specified by the consortium (including the Commission Services) CO Confidential only for members of the consortium (including the Commission Services