Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Published on 27. September 2016
Book
Paperback/Softback
IX, 127 pages
978-3-319-46558-6 (ISBN)
Description
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.
More details
Series
Edition
1st ed. 2016
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
30 s/w Abbildungen
IX, 127 p. 30 illus.
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
2234 gr
ISBN-13
978-3-319-46558-6 (9783319465586)
DOI
10.1007/978-3-319-46559-3
Schweitzer Classification
Other editions
Additional editions
Marko Van Eekelen | Ugo Dal Lago
Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
E-Book
09/2016
Springer
€53.49
Available for download
Content
May-Happen-in-Parallel Analysis with Condition Synchronization.- Using dependent types to dene energy augmented semantics of programs.- Call-by-value, Elementary Time and Intersection Types.- Probabilistic Resource Analysis by Program Transformation.- Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR.- Timing Properties and Correctness for Structured Parallel Programson x86-64 Multicores.