Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Editors: van Eekelen, Marko, Dal Lago, Ugo (Eds.)
Free PreviewBuy this book
- 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.
- Table of contents (6 chapters)
-
-
May-Happen-in-Parallel Analysis with Condition Synchronization
Pages 1-19
-
Using Dependent Types to Define Energy Augmented Semantics of Programs
Pages 20-39
-
Call-by-Value, Elementary Time and Intersection Types
Pages 40-59
-
Probabilistic Resource Analysis by Program Transformation
Pages 60-80
-
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
Pages 81-100
-
Table of contents (6 chapters)
- Download Preface 1 PDF (49.2 KB)
- Download Sample pages 2 PDF (734.3 KB)
- Download Table of contents PDF (43.5 KB)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Foundational and Practical Aspects of Resource Analysis
- Book Subtitle
- 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
- Editors
-
- Marko van Eekelen
- Ugo Dal Lago
- Series Title
- Programming and Software Engineering
- Series Volume
- 9964
- Copyright
- 2016
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing Switzerland
- eBook ISBN
- 978-3-319-46559-3
- DOI
- 10.1007/978-3-319-46559-3
- Softcover ISBN
- 978-3-319-46558-6
- Edition Number
- 1
- Number of Pages
- IX, 127
- Number of Illustrations
- 30 b/w illustrations
- Topics