Foundational and Practical Aspects of Resource Analysis

1. Front Matter

   Pages I-IX

   PDF

2. Certified Complexity (CerCo)

   • Roberto M. Amadio, Nicolas Ayache, Francois Bobot, Jaap P. Boender, Brian Campbell, Ilias Garnier et al.

   Pages 1-18

3. On the Modular Integration of Abstract Semantics for WCET Analysis

   • Mihail Asăvoae, Irina Măriuca Asăvoae

   Pages 19-37

4. Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?

   • Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi

   Pages 38-57

5. Probabilistic Analysis of Programs: A Weak Limit Approach

   • Alessandra Di Pierro, Herbert Wiklicky

   Pages 58-76

6. Predicative Lexicographic Path Orders

   • Naohi Eguchi

   Pages 77-92

7. A Hoare Logic for Energy Consumption Analysis

   • Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko van Eekelen

   Pages 93-109

8. Reasoning About Resources in the Embedded Systems Language Hume

   • Hans-Wolfgang Loidl, Gudmund Grov

   Pages 110-126

9. On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets

   • Matthieu Perrinel

   Pages 127-142

10. Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists

    • Olha Shkaravska, Marko van Eekelen, Alejandro Tamalet

    Pages 143-159

11. Back Matter

    Pages 161-161

    PDF

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.

• algorithm analysis and problem complexity

• Università di Bologna, Bologna, Italy

  Ugo Dal Lago

• Universidad Complutense de Madrid, Madrid, Spain

  Ricardo Peña

Policies and ethics