Foundational and Practical Aspects of Resource Analysis
Foundational and Practical Aspects of Resource Analysis
About this book
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.
Details
- OL Work ID
- OL19850974W
Subjects
Software engineeringAlgorithm Analysis and Problem ComplexityLogic designComputer system performanceLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceProgramming Languages, Compilers, InterpretersSystem Performance and EvaluationComputer softwareComputer software, development