Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers: Lecture Notes in Computer Science, cartea 6324

Editat de Marko van Eekelen, Olha Shkaravska
en Limba Engleză Paperback – 9 sep 2010

Din seria Lecture Notes in Computer Science

Preț: 29373 lei

Preț vechi: 36716 lei

Puncte Express: 441

Preț estimativ în valută:
5624 6089$ 4792£

Carte disponibilă

Livrare economică 17 iunie-01 iulie

Preluare comenzi: 021 569.72.76


ISBN-13: 9783642153303
ISBN-10: 3642153305
Pagini: 170
Ilustrații: 170 p. 35 illus.
Greutate: 0.27 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă



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.