Cover Image

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...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Dal Lago, Ugo. (Editor, http://id.loc.gov/vocabulary/relators/edt), Peña, Ricardo. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:1st ed. 2014.
Series:Programming and Software Engineering ; 8552
Subjects:
Computer system failures.
Algorithms.
Computer logic.
Software engineering.
Programming languages (Electronic computers).
Computers.
System Performance and Evaluation.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.
Online Access:https://doi.org/10.1007/978-3-319-12466-7
Summary: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 traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.
Physical Description:IX, 161 p. 34 illus. online resource.
ISBN:9783319124667

Similar Items