Foundational and Practical Aspects of Resource Analysis [electronic resource] : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /

Contributor(s):

Material type: Text

TextSeries: Programming and Software Engineering ; 6324Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010Description: 170 p. 35 illus. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783642153310

Subject(s):

Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:

005.1 23

LOC classification:

QA76.758

Online resources:

Click here to access online

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.

In: Springer Nature eBook

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

There are no comments on this title.

to post a comment.