Name: separation logic for multithreaded object-oriented languages
Price: 2517.00 TWD
Availability: InStock
Author: Hurlin, Clément
ISBN: 9783838363165

portada separation logic for multithreaded object-oriented languages

separation logic for multithreaded object-oriented languages

Type

Physical Book

Author

Clément Hurlin

Publisher

LAP Lambert Academic Publishing

Year

2010

Language

English

Pages

200

Format

Paperback

Dimensions

22.9 x 15.2 x 1.2 cm

Weight

0.30 kg.

ISBN

3838363167

ISBN13

9783838363165

Synopsis "separation logic for multithreaded object-oriented languages"

Multithreading is becoming ubiquitous to build high-performance software. Multithreaded programs, however, are both harder to write and harder to debug. The random occurrence of tricky bugs make them highly time-consuming to find. In this context, program verification is a powerful tool to build safe multithreaded programs. This book adapts separation logic - a novel and successful technique to reason about imperative programs - to multithreaded object-oriented programs à la Java. First it shows how to finely reason about the start and join primitives for multithreading. Second, this book shows to reason about reentrant locks i.e. Java's locks. Then, the book describes two novel applications of separation logic: debugging of specifications by means of protocols and enhancement of verification by disproving. The book concludes with an entirely new approach to automatic parallelization that 1/ permits to parallelize arbitrary code (i.e. not only loops) 2/ offers high confidence in the parallelized programs obtained. This book is targeted to theorists and practitioners of program verification that aim at discovering the last advances in this field.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

separation logic for multithreaded object-oriented languages - Hurlin, Clément

Synopsis "separation logic for multithreaded object-oriented languages"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery