Skip to main content
  • Conference proceedings
  • © 2016

Foundational and Practical Aspects of Resource Analysis

4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

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

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

Buy it now

Buying options

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

  1. Front Matter

    Pages I-IX
  2. May-Happen-in-Parallel Analysis with Condition Synchronization

    • Elvira Albert, Antonio Flores-Montoya, Samir Genaim
    Pages 1-19
  3. Using Dependent Types to Define Energy Augmented Semantics of Programs

    • Bernard van Gastel, Rody Kersten, Marko van Eekelen
    Pages 20-39
  4. Call-by-Value, Elementary Time and Intersection Types

    • Erika De Benedetti, Simona Ronchi Della Rocca
    Pages 40-59
  5. Probabilistic Resource Analysis by Program Transformation

    • Maja H. Kirkeby, Mads Rosendahl
    Pages 60-80
  6. Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR

    • U. Liqat, K. Georgiou, S. Kerrison, P. Lopez-Garcia, John P. Gallagher, M. V. Hermenegildo et al.
    Pages 81-100
  7. Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores

    • Kevin Hammond, Christopher Brown, Susmit Sarkar
    Pages 101-125
  8. Back Matter

    Pages 127-127

Other Volumes

  1. Foundational and Practical Aspects of Resource Analysis

About this book

This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.

Editors and Affiliations

  • Radboud University and Open University, The Netherlands, Nijmegen, The Netherlands

    Marko van Eekelen

  • Dipartimento di Informatica, Università di Bologna, Bologna, Italy

    Ugo Dal Lago

Bibliographic Information

Buy it now

Buying options

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