Foundational and Practical Aspects of Resource Analysis  First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /  [electronic resource] : 
edited by Marko van Eekelen, Olha Shkaravska. 
 - 1st ed. 2010. 
 - 170 p. 35 illus.  online resource. 
 - Programming and Software Engineering,  6324  2945-9168 ; .
 - Programming and Software Engineering,  6324 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642153310 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-15331-0  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer science.<br/>Compilers (Computer programs).<br/>Computer networks .<br/>Algorithms.<br/>Computer programming.<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Compilers and Interpreters.<br/>Computer Communication Networks.<br/>Algorithms.<br/>Programming Techniques.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1