Verkauf durch Sack Fachmedien

van Eekelen / Shkaravska

Foundational and Practical Aspects of Resource Analysis

First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers

Medium: Buch
ISBN: 978-3-642-15330-3
Verlag: Springer
Erscheinungstermin: 09.09.2010
Lieferfrist: bis zu 10 Tage

ParisDiderotandParisNord,LORIANancy),Italy(universitiesofBolognaand Turin), Norway, Germany and Portugal.


Produkteigenschaften


  • Artikelnummer: 9783642153303
  • Medium: Buch
  • ISBN: 978-3-642-15330-3
  • Verlag: Springer
  • Erscheinungstermin: 09.09.2010
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 2010
  • Serie: Programming and Software Engineering
  • Produktform: Kartoniert
  • Gewicht: 276 g
  • Seiten: 170
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

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.