Stock image for illustration purposes only - book cover, edition or condition may vary.
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ... (Lecture Notes in Computer Science, 6324)
. Ed(S): Eekelen, Marko Van; Shkaravska, Olha
€ 64.51
FREE Delivery in Ireland
Description for Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ... (Lecture Notes in Computer Science, 6324)
paperback. Constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on Formal Methods, FM 2009, in Eindhoven, The Netherlands, in November 2009. Editor(s): Eekelen, Marko van; Shkaravska, Olha. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 170 pages, 35 black & white illustrations, biography. BIC Classification: UKN; UMB; UMG; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 10. Weight in Grams: 272.
The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting originalresearchresultsthatarerelevanttothe analysisofresource(time,space) consumption by computer programs. FOPARA aimed to bring together the - searchers working on foundational issues with the researchers focusing more on practical results. Therefore, both theoretical and practical contributions were encouraged.The contributions coveredthe following topics: resourceanalysisfor embedded systems, logical and machine-independent characterizations of c- plexity classes, logics closely related to complexity classes, type systems for c- trolling complexity, semantic methods to analyze resources,including quasi- and sup-interpretations, practical applications of resource analysis, etc. This ?rst FOPARA ... Read more
The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting originalresearchresultsthatarerelevanttothe analysisofresource(time,space) consumption by computer programs. FOPARA aimed to bring together the - searchers working on foundational issues with the researchers focusing more on practical results. Therefore, both theoretical and practical contributions were encouraged.The contributions coveredthe following topics: resourceanalysisfor embedded systems, logical and machine-independent characterizations of c- plexity classes, logics closely related to complexity classes, type systems for c- trolling complexity, semantic methods to analyze resources,including quasi- and sup-interpretations, practical applications of resource analysis, etc. This ?rst FOPARA ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer Germany
Number of pages
170
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
170
Place of Publication
Berlin, Germany
ISBN
9783642153303
SKU
V9783642153303
Shipping Time
Usually ships in 5 to 9 working days
Ref
99-3
Reviews for Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ... (Lecture Notes in Computer Science, 6324)