Your Waterstones card is changing, introducing...
TELL ME MORE
Logics and analyses for concurrent heap-manipulating programs - Distinguished Dissertation (Paperback)
  • Logics and analyses for concurrent heap-manipulating programs - Distinguished Dissertation (Paperback)
zoom

Logics and analyses for concurrent heap-manipulating programs - Distinguished Dissertation (Paperback)

(author)
£75.00
Paperback 162 Pages / Published: 14/03/2011
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
Reasoning about concurrent programs is difficult because of the need to consider all possible interactions between concurrently executing threads. The problem is especially acute for programs that manipulate shared heap-allocated data structures, since heap-manipulation provides more ways for threads to interact. Modular reasoning techniques sidestep this difficulty by considering every thread in isolation under some assumptions on its environment. In this dissertation the author develops modular program logics and program analyses for the verification of concurrent heap-manipulating programs. The approach is to exploit reasoning principles provided by program logics to construct modular program analyses and to use this process to obtain further insights into the logics. In particular, the author builds on concurrent separation logic-a Hoare-style logic that allows modular manual reasoning about concurrent programs written in a simple heap-manipulating programming language. The contributions are twofold. First, it shows the soundness of concurrent separation logic without the conjunction rule and the restriction that resource invariants be precise, and to construct an analysis for concurrent heap-manipulating programs that exploit this modified reasoning principle to achieve modularity. Secondly, it develop logics and analyses for modular reasoning about features present in modern languages and libraries for concurrent programming: storable locks, first-order procedures and dynamically-created threads.

Publisher: BCS Learning & Development Limited
ISBN: 9781906124830
Number of pages: 162
Weight: 410 g
Dimensions: 297 x 210 x 9 mm

You may also be interested in...

Learn Python the Hard Way
Added to basket
£30.59
Mixed media product
How to Build a Billion Dollar App
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
Python Pocket Reference
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback
Python Crash Course
Added to basket
£33.99
Paperback
Code
Added to basket
£21.99
Paperback
SQL in Easy Steps
Added to basket
£10.99
Paperback
JQuery in Easy Steps
Added to basket
The Bride of Science
Added to basket
Clean Code
Added to basket
£36.99
Paperback
Coding for Beginners in easy steps
Added to basket
Learning SQL
Added to basket
£31.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.