Skip to main content
  • Conference proceedings
  • © 2010

Foundational and Practical Aspects of Resource Analysis

First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers

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

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 2009.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (10 papers)

  1. Front Matter

  2. FOPARA 2009

    1. Comparing Cost Functions in Resource Analysis

      • Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla
      Pages 1-17
    2. Improvements to a Resource Analysis for Hume

      • Hans-Wolfgang Loidl, Steffen Jost
      Pages 18-33
    3. A Space Consumption Analysis by Abstract Interpretation

      • Manuel Montenegro, Ricardo Peña, Clara Segura
      Pages 34-50
    4. Global and Local Space Properties of Stream Programs

      • Marco Gaboardi, Romain Péchoux
      Pages 51-66
    5. Characterising Effective Resource Analyses for Parallel and Distributed Coordination

      • Phil Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson
      Pages 67-83
    6. Static Complexity Analysis of Higher Order Programs

      • James Avery, Lars Kristiansen, Jean-Yves Moyen
      Pages 84-99
    7. Derivational Complexity Is an Invariant Cost Model

      • Ugo Dal Lago, Simone Martini
      Pages 100-113
    8. A Local Criterion for Polynomial-Time Stratified Computations

      • Luca Roversi, Luca Vercelli
      Pages 114-130
    9. Non-deterministic Boolean Proof Nets

      • Virgile Mogbil
      Pages 131-145
  3. Back Matter

Other Volumes

  1. Foundational and Practical Aspects of Resource Analysis

Keywords

  • abstract interpretation
  • complexity
  • embedded systems
  • formal method
  • formal methods
  • language
  • polynomial programming language
  • programming language
  • resource analysis
  • static complexity analysis
  • algorithm analysis and problem complexity

Editors and Affiliations

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

    Marko Eekelen

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

    Olha Shkaravska

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions