Description |
1 online resource (141 pages) : illustrations |
Series |
Lecture notes in computer science, 1611-3349 ; 7177 |
|
LNCS sublibrary, SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7177. 1611-3349
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
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 |
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 |
Analysis |
Computer science |
|
Computer system performance |
|
Software engineering |
|
Computer software |
|
Logic design |
|
System Performance and Evaluation |
|
Algorithm Analysis and Problem Complexity |
|
Logics and Meanings of Programs |
|
Programming Languages, Compilers, Interpreters |
|
Computation by Abstract Devices |
Bibliography |
Includes bibliographical references and author index |
Notes |
English |
|
Online resource; title from PDF title page (SpringerLink, viewed August 9, 2012) |
In |
Springer eBooks |
Subject |
Computer software -- Development -- Congresses
|
|
Logic design.
|
|
Software engineering.
|
|
Software
|
|
Electronic Data Processing
|
|
software.
|
|
Informatique.
|
|
Computer software -- Development
|
Genre/Form |
Conference papers and proceedings
|
|
Software.
|
Form |
Electronic book
|
Author |
Peña, Ricardo, 1950-
|
|
Eekelen, M. C. J. D. van.
|
|
Shkaravska, Olha.
|
ISBN |
9783642324956 |
|
3642324959 |
|