UID:
almahu_9947364251902882
Format:
170 p. 35 illus.
,
online resource.
ISBN:
9783642153310
Series Statement:
Lecture Notes in Computer Science, 6324
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783642153303
Language:
English
DOI:
10.1007/978-3-642-15331-0
URL:
http://dx.doi.org/10.1007/978-3-642-15331-0
