Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2012

Foundational and Practical Aspects of Resource Analysis

Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Editors:

  1. Ricardo Peña

    1. Computer Science Faculty, Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marko Eekelen

    1. ICIS, Radboud University Nijmegen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Olha Shkaravska

    1. Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

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

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

Conference series link(s): FOPARA: International Workshop on Foundational and Practical Aspects of Resource Analysis

Conference proceedings info: FOPARA 2011.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.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

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

Table of contents (8 papers)

  1. Front Matter

    PDF

  2. Implicit Complexity

    1. A Higher-Order Characterization of Probabilistic Polynomial Time

      • Ugo Dal Lago, Paolo Parisen Toldin
      Pages 1-18

    2. Typing a Core Binary-Field Arithmetic in a Light Logic

      • Emanuele Cesena, Marco Pedicini, Luca Roversi
      Pages 19-35

  3. Analysis and Verification of Cost Expressions

    1. Interpolation-Based Height Analysis for Improving a Recurrence Solver

      • Manuel Montenegro, Olha Shkaravska, Marko van Eekelen, Ricardo Peña
      Pages 36-53

    2. Interval-Based Resource Usage Verification: Formalization and Prototype

      • Pedro Lopez-Garcia, Luthfi Darmawan, Francisco Bueno, Manuel Hermenegildo
      Pages 54-71

    3. Certifying and Reasoning on Cost Annotations of Functional Programs

      • Roberto M. Amadio, Yann Régis-Gianas
      Pages 72-89

  4. Worst Case Execution Time Analysis

    1. On Abstractions for Timing Analysis in the \(\mathbb{K}\) Framework

      • Mihail Asăvoae, Irina Măriuca Asăvoae, Dorel Lucanu
      Pages 90-107

    2. Certifying Execution Time

      • Vítor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa
      Pages 108-125

    3. Counter Automata for Parameterised Timing Analysis of Box-Based Systems

      • Christoph A. Herrmann, Kevin Hammond
      Pages 126-141

  5. Back Matter

    PDF
Back to top

Other Volumes

  1. Foundational and Practical Aspects of Resource Analysis

Back to top

About this book

This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Computer Science Faculty, Universidad Complutense de Madrid, Madrid, Spain

    Ricardo Peña

  • ICIS, Radboud University Nijmegen, The Netherlands

    Marko Eekelen

  • Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands

    Olha Shkaravska

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.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

Search

Navigation