Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /
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...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
| Edition: | 1st ed. 2014. |
| Series: | Programming and Software Engineering ;
8552 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-319-12466-7 |
Table of Contents:
- 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.