Foundational and Practical Aspects of Resource Analysis
First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
Published on 8. September 2010
170 pages
978-3-642-15331-0 (ISBN)
Description
More details
Other editions
Additional editions
Marko Van Eekelen | Olha Shkaravska
Foundational and Practical Aspects of Resource Analysis
First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
Book
09/2010
1st Edition
Springer
€53.49
Shipment within 5-7 days
Content
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.
