E-Books durchsuchen
Foundational and Practical Aspects of Resource Analysis [2010]
- 1
-
Comparing Cost Functions in Resource Analysis
- 18
-
Improvements to a Resource Analysis for Hume
- 34
-
A Space Consumption Analysis by Abstract Interpretation
- 51
-
Global and Local Space Properties of Stream Programs
- 67
-
Characterising Effective Resource Analyses for Parallel and Distributed Coordination
- 84
-
Static Complexity Analysis of Higher Order Programs
- 100
-
Derivational Complexity Is an Invariant Cost Model
- 114
-
A Local Criterion for Polynomial-Time Stratified Computations
- 131
-
Non-deterministic Boolean Proof Nets
- 146
-
Polynomial Time Computation in the Context of Recursive Analysis