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

Purpose: To construct an effective stack-space usage analysis based on a formal semantics for Hume incorporating space cost information (Deliverable D12a/D12b). Results: We have constructed a resource-aware type system for a slightly simplified version of HUME, whose annotated typings yield provable upper bounds on Stack-space consumption of the typed terms. Conclusion: The principal goal of this piece of work has been successfully achieved. We have con-structed a formal analysis that is capable of yielding upper-bound costs on stack usage information. 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