Limit search to available items
Book Cover
E-book
Author FOPARA (Workshop) (2nd : 2011 : Madrid, Spain)

Title Foundational and practical aspects of resource analysis : second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers / Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.)
Published Berlin ; New York : Springer, ©2012

Copies

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
Other Titles FOPARA 2011