Foundational and Practical Aspects of Resource Analysis [electronic resource] : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers / edited by Marko van Eekelen, Olha Shkaravska.
Contributor(s): van Eekelen, Marko [editor.]
| Shkaravska, Olha [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Programming and Software Engineering: 6324Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010.Description: 170 p. 35 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642153310.Subject(s): 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 TechniquesAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online
Contents:
In:
Springer Nature eBook
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.
No physical items for this record
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.
There are no comments for this item.