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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Eekelen, Marko van (Επιμελητής έκδοσης), Shkaravska, Olha (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6324
• Θέματα: 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.

Πίνακας περιεχομένων:

• 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.