Foundational and Practical Aspects of Resource Analysis [electronic resource] : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers / edited by Marko Eekelen, Olha Shkaravska.

FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis for Hume -- A Space Consumption Analysis by Abstract Interpretation -- Global and Local Space Properties of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination -- Static Complexity Analysis of Higher Order Programs -- Derivational Complexity Is an Invariant Cost Model -- A Local Criterion for Polynomial-Time Stratified Computations -- Non-deterministic Boolean Proof Nets -- Polynomial Time Computation in the Context of Recursive Analysis.