Foundational and practical aspects of resource analysis second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers /
This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the worksh...
| Corporate Authors: | FOPARA (Workshop) Madrid, Spain) |
|---|---|
| Other Authors: | FOPARA (Workshop), Peña, Ricardo, 1950-, Eekelen, M. C. J. D. van., Shkaravska, Olha., SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2012.
Berlin ; New York : [2012] |
| Physical Description: |
1 online resource (141 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
7177. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
Table of Contents:
- A Higher-Order Characterization of Probabilistic Polynomial Time /
- Ugo Dal Lago and Paolo Parisen Toldin
- Typing a Core Binary-Field Arithmetic in a Light Logic /
- Emanuele Cesena, Marco Pedicini and Luca Roversi
- Interpolation-Based Height Analysis for Improving a Recurrence Solver /
- Manuel Montenegro, Olha Shkaravska, Marko van Eekelen and Ricardo Peña
- Interval-Based Resource Usage Verification: Formalization and Prototype /
- Pedro Lopez-Garcia, Luthfi Darmawan, Francisco Bueno and Manuel Hermenegildo
- Certifying and Reasoning on Cost Annotations of Functional Programs /
- Roberto M. Amadio and Yann Régis-Gianas
- On Abstractions for Timing Analysis in the \mathbbKK Framework /
- Mihail Asăvoae, Irina Măriuca Asăvoae and Dorel Lucanu
- Certifying Execution Time /
- Vítor Rodrigues, João Pedro Pedroso, Mário Florido and Simão Melo de Sousa
- Counter Automata for Parameterised Timing Analysis of Box-Based Systems /
- Christoph A. Herrmann and Kevin Hammond.