Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers - Lecture Notes in Computer Science 6324 (Paperback)
  • Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers - Lecture Notes in Computer Science 6324 (Paperback)
zoom

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers - Lecture Notes in Computer Science 6324 (Paperback)

(editor), (editor)
£53.99
Paperback 170 Pages / Published: 09/09/2010
  • We can order this

Usually dispatched within 2 weeks

  • This item has been added to your basket
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 brought two di?erent groups of researchers together. In 2006 and 2008 informal application-oriented resource analysis workshops (an EmBoundedOpen WorkshopinBudapest,2006,andaResourceAnalysisWo- shop in Hertfordshire, 2008) were held as a?liated events of the International Symposium on the Implementation and Application of Functional Languages (IFL). Participants in these workshops were the University of St. Andrew (UK), Heriot-Watt University of Edinburgh (UK), Ludwig Maximilians University of Munich (Germany), Complutense University of Madrid (Spain) and the Po- technical University of Madrid (Spain). Another group of researchers was active in the series of informal workshops on implicit computational complexity (see, for instance, WICC 2008 in Paris). That series gathers researchers working in theoretical foundations of resource analysis, mainly from France (universities of ParisDiderotandParisNord,LORIANancy),Italy(universitiesofBolognaand Turin), Norway, Germany and Portugal.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642153303
Number of pages: 170
Weight: 272 g
Dimensions: 231 x 155 x 10 mm

You may also be interested in...

Kanban
Added to basket
£33.55
Paperback
Essential Scrum
Added to basket
£36.99
Paperback
User Story Mapping
Added to basket
£27.99
Paperback
Design Patterns
Added to basket
£44.49
Hardback
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Domain-Driven Design
Added to basket
£55.49
Hardback
Agile Testing
Added to basket
£44.49
Paperback
Continuous Delivery
Added to basket
£44.49
Hardback
Beyond Software Architecture
Added to basket
Coaching Agile Teams
Added to basket
Agile Product Management with Scrum
Added to basket
Exercises in Programming Style
Added to basket
The Mythical Man-Month
Added to basket
The Agile Culture
Added to basket
Designing Data-Intensive Applications
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.