Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected PapersUgo Dal Lago, Ricardo Peņa This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs. |
Contents
| 1 | |
On the Modular Integration of Abstract Semantics for WCET Analysis | 19 |
Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? | 38 |
A Weak Limit Approach | 58 |
Predicative Lexicographic Path Orders | 77 |
A Hoare Logic for Energy Consumption Analysis | 93 |
Reasoning About Resources in the Embedded Systems Language Hume | 110 |
On PathsBased Criteria for Polynomial Time Complexity in ProofNets | 127 |
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists | 143 |
| 160 | |
Other editions - View all
Foundational and Practical Aspects of Resource Analysis: Third International ... Ugo Dal Lago,Ricardo Peņa No preview available - 2014 |
Common terms and phrases
abst abstract interpretation algorithm annotations applied approach arguments binary cache cell CerCo compiler Church words Cimp complexity component Comput configuration control flow corresponding cost model cut-elimination DCEA defined definition denote Eekelen elements embedded embedded systems encode energy consumption energy-aware semantics example execution finite FOPARA formal function calls functional programs hardware heap Heidelberg higher-order Hilbert spaces Hoare logic holds Hume implementation induction input integration Isabelle/HOL iteration label language Lemma length lexicographic path order linear logic LNCS loop modular modules object code OpenSSL operational semantics operator optimisations plpo PLPO plpo plugin polynomial predicate primitive recursive functions probabilistic proof proof-net properties prove QuickSort result rewrite system rewriting rules Sect sequence Shkaravska source code specification Springer structure t₁ tails2 theorem timestamp tion update upper bound variables WCET WCET analysis wInv X-term