Skip to main content
SpringerLink
Log in
Book cover

Foundational and Practical Aspects of Resource Analysis

Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Ugo Dal Lago

    1. Università di Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ricardo Peña

    1. Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8552)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FOPARA 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 papers)

  1. Front Matter

    Pages I-IX
    Download chapter 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
    Download chapter PDF
Back to top

Other volumes

  1. Foundational and Practical Aspects of Resource Analysis

Keywords

About this book

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.

Editors and Affiliations

  • Università di Bologna, Bologna, Italy

    Ugo Dal Lago

  • Universidad Complutense de Madrid, Madrid, Spain

    Ricardo Peña

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation