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: |
| Summary: |
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 workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis. |
|---|---|
| Item Description: |
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. Includes bibliographical references and author index. 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 workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis. English. |
| Physical Description: |
1 online resource (141 pages) : illustrations. |
| Bibliography: |
Includes bibliographical references and author index. |
| ISBN: |
9783642324956 3642324959 |
| ISSN: |
1611-3349 ; |