Foundational and Practical Aspects of Resource Analysis  4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers /  [electronic resource] : 
edited by Marko van Eekelen, Ugo Dal Lago. 
 - 1st ed. 2016. 
 - IX, 127 p. 30 illus.  online resource. 
 - Programming and Software Engineering,  9964  2945-9168 ; .
 - Programming and Software Engineering,  9964 .
<br/><br/>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 Programs on x86-64 Multicores. . 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783319465593 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-46559-3  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Application software.<br/>Electronic digital computers--Evaluation.<br/>Computer science--Mathematics.<br/>Mathematical statistics.<br/>Computer science.<br/>Software engineering.<br/>Computer simulation.<br/>Computer and Information Systems Applications.<br/>System Performance and Evaluation.<br/>Probability and Statistics in Computer Science.<br/>Computer Science Logic and Foundations of Programming.<br/>Software Engineering.<br/>Computer Modelling.
<br/><br/><label>LC Class. No.: </label>QA76.76.A65 
<br/><br/><label>Dewey Class. No.: </label>005.3