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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Eekelen, Marko van (Editor), Shkaravska, Olha (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6324
• Subjects: Computer science.; Computer communication systems.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Algorithms.; Computer logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Algorithm Analysis and Problem Complexity.; Programming Techniques.

Table of 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.