Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revi by Marko van EekelenFoundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revi by Marko van Eekelen

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009…

byMarko van EekelenEditorOlha Shkaravska

Paperback | September 9, 2010

Pricing and Purchase Info

$124.50

Earn 623 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

ParisDiderotandParisNord,LORIANancy),Italy(universitiesofBolognaand Turin), Norway, Germany and Portugal.
Title:Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009…Format:PaperbackDimensions:170 pages, 0.01 × 0.01 × 0.02 inPublished:September 9, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642153305

ISBN - 13:9783642153303

Reviews

Table of Contents

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.