Ugo Dal Lago,
Ricardo Peña
Springer International Publishing
2014e druk, 2014
9783319124650
Foundational and Practical Aspects of Resource Analysis
Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Specificaties
Paperback, 161 blz.
|
Engels
Springer International Publishing |
2014e druk, 2014
ISBN13: 9783319124650
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.
Specificaties
ISBN13:9783319124650
Taal:Engels
Bindwijze:paperback
Aantal pagina's:161
Uitgever:Springer International Publishing
Druk:2014
Hoofdrubriek:Programmeren, Computer en informatica
Inhoudsopgave
Certified Complexity (CerCo).- On the Modular Integration of Abstract Semantics for WCET Analysis.- Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?.- Probabilistic Analysis of Programs: A Weak Limit Approach.- Predicative Lexicographic Path Orders: An Application of Term Rewriting to the Region of Primitive Recursive Functions.- A Hoare Logic for Energy Consumption Analysis.- Reasoning About Resources in the Embedded Systems Language Hume.- On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets.- Collected Size Semantics for Strict Functional Programs over General
Polymorphic Lists.
Polymorphic Lists.