Foundational and Practical Aspects of Resource Analysis  Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /  [electronic resource] : 
edited by Ugo Dal Lago, Ricardo Peņa. 
 - Cham :  Springer International Publishing,  2014. 
 - 1 online resource (IX, 161 p. 34 ill.) 
 - Lecture Notes in Computer Science,  8552  0302-9743 ; .
<br/><br/>Certified Complexity (CerCo) -- On the Modular Integration of Abstract Semantics for WCET Analysis -- Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? -- Probabilistic Analysis of Programs: A Weak Limit Approach -- Predicative Lexicographic Path Orders: An Application of Term Rewriting to the Region of Primitive Recursive Functions -- A Hoare Logic for Energy Consumption Analysis -- Reasoning About Resources in the Embedded Systems Language Hume -- On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets -- Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. 
<br/><br/><label>ISBN: </label>9783319124667 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer system failures.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computers.<br/>Algorithms.<br/>Computer logic.