Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers / [electronic resource] :
edited by Marko van Eekelen, Olha Shkaravska.
- 1st ed. 2010.
- 170 p. 35 illus. online resource.
- Programming and Software Engineering, 6324 2945-9168 ; .
- Programming and Software Engineering, 6324 .
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.
9783642153310
10.1007/978-3-642-15331-0 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Computer networks .
Algorithms.
Computer programming.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Computer Communication Networks.
Algorithms.
Programming Techniques.
QA76.758
005.1
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.
9783642153310
10.1007/978-3-642-15331-0 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Computer networks .
Algorithms.
Computer programming.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Computer Communication Networks.
Algorithms.
Programming Techniques.
QA76.758
005.1