Foundational and practical aspects of resource analysis :  third international workshop, fopara 2013, bertinoro, italy, august 29-31, 2013, revised selected papers / 
edited by Ugo Dal Lago, Ricardo Peña. 
 - ix, 161 páginas :  34 ilustraciones 
 - Lecture Notes in Computer Science,  8552  0302-9743 ; .
<br/><br/> Springer eBooks 
<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>LC Class. No.: </label>QA76.9.E94