Foundational and practical aspects of resource analysis : first international workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009 : revised selected papers

Annotation This book constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on Formal Methods, FM 2009, in Eindhoven, The Netherlands, in November 2009. The 10 revised full papers were carefully reviewed and selected from 13 research presentation contributions and one invited lecture Front Matter....Pages - Comparing Cost Functions in Resource Analysis....Pages 1-17 Improvements to a Resource Analysis for Hume....Pages 18-33 A Space Consumption Analysis by Abstract Interpretation....Pages 34-50 Global and Local Space Properties of Stream Programs....Pages 51-66 Characterising Effective Resource Analyses for Parallel and Distributed Coordination....Pages 67-83 Static Complexity Analysis of Higher Order Programs....Pages 84-99 Derivational Complexity Is an Invariant Cost Model....Pages 100-113 A Local Criterion for Polynomial-Time Stratified Computations....Pages 114-130 Non-deterministic Boolean Proof Nets....Pages 131-145 Polynomial Time Computation in the Context of Recursive Analysis....Pages 146-162 Back Matter....Pages - This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis