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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: van Eekelen, Marko (Editor ), Shkaravska, Olha (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Programming and Software Engineering, 6324
Temas:
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.
Programming Techniques.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares