Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures - Programming and Software Engineering 6154 (Paperback)
  • Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures - Programming and Software Engineering 6154 (Paperback)
zoom

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures - Programming and Software Engineering 6154 (Paperback)

(editor), (editor), (editor), (editor)
£62.99
Paperback 169 Pages / Published: 11/06/2010
  • Publisher out of stock

Currently unavailable to order

This product is currently unavailable.

  • This item has been added to your basket
This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience as a prominent approachto the rigorousdesign of the above-mentionedsystems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2010 was devoted to formal methods for quantitative aspects of p- gramminglanguagesandcoveredseveraltopicsincludingprobabilisticandtimed models, model checking, static analysis, quantum computing, real-time and - bedded systems, and security. This volume comprises four articles. The paper by Di Pierro, Hankin, and Wiklicky investigates the relation between the operational semantics of pro- bilistic programming languages and discrete-time Markov chains and presents a framework for probabilistic program analysis inspired by classical abstract interpretation. Broadbent, Fitzsimons, and Kashe? review the mathematical model underlying measurement-based quantum computation, a novel approach to quantum computation where measurement is the main driving force of c- putation instead of the unitary operations of the more traditional quantum c- cuit model. The paper by Malacaria and Heusser illustrates the informati- theoretical basis of quantitative information ?ow by showing the relationship betweenlattices,partitions,andinformation-theoreticalconcepts,aswellastheir applicabilitytoquantifyleakageofcon?dentialinformationinprograms. Finally, Wolter and Reinecke discuss the trade-o? between performance and security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metrics.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642136771
Number of pages: 169
Weight: 277 g
Dimensions: 234 x 155 x 10 mm
Edition: 2010 ed.

You may also be interested in...

Peopleware
Added to basket
£33.49
Paperback
Git Pocket Guide
Added to basket
User Stories Applied
Added to basket
£40.49
Paperback
Designing Data-Intensive Applications
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
Kanban
Added to basket
£33.55
Paperback
Design Patterns
Added to basket
£44.49
Hardback
Essential Scrum
Added to basket
£36.99
Paperback
Beyond Software Architecture
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
The Agile Culture
Added to basket
The Clean Coder
Added to basket
£33.49
Paperback
Agile Product Management with Scrum
Added to basket
Test Driven Development
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.