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

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.

Product details

• Assisted by: Mark van Eekelen (Editor), Marko Van Eekelen (Editor), Olha Shkaravska (Editor), Marko van Eekelen (Editor), Ricardo Peña (Editor)
• Publisher: Springer, Berlin
• Content: Book
• Product form: Paperback / Softback
• Publication date: 12.07.2012
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT
• EAN: 9783642324949
• ISBN: 978-3-642-32494-9
• Pages: 143
• Illustrations: VII, 143 p. 30 illus.
• Dimensions (packing): 15.5 x 23.5 cm
• Series: Lecture Notes in Computer Science > 7177; Programming and Software Engineering; Lecture Notes in Computer Science / Programming and Software Engineering > .7177; Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: C, Software Engineering, Algorithms, computer science, Theory of Computation, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Computers, Algorithms & data structures, Computer programming / software engineering, Algorithm Analysis and Problem Complexity, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer system failures, System Performance and Evaluation, Computer logic, Computation by Abstract Devices