Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Progress of Concurrent Objects (Paperback)
Loot Price: R2,129
Discovery Miles 21 290
|
|
Progress of Concurrent Objects (Paperback)
Series: Foundations and Trends (R) in Programming Languages
Expected to ship within 10 - 15 working days
|
Donate to Against Period Poverty
Total price: R2,139
Discovery Miles: 21 390
|
Implementations of concurrent objects in programming languages
should guarantee linearizability and a progress property. These
progress properties describe conditions under which a method call
is guaranteed to complete. However, they fail to describe how
clients are affected, making it difficult to utilize them in
layered and modular program verification. Even worse, none of the
existing results applies to concurrent objects with partial
methods. Progress of Concurrent Objects examines the progress
properties of concurrent objects. It formulates each progress
property in terms of contextual refinement so that, when verifying
clients of the objects, concrete object implementations can be
replaced with their abstractions with certainty, achieving modular
verification. For concurrent objects with partial methods, two new
progress properties, partial starvation-freedom (PSF) and partial
deadlock-freedom (PDF) are described. Finally, a rely-guarantee
style program logic LiLi for verifying linearizability and progress
together for concurrent objects is introduced. This tutorial is
intended for use by researchers and students. It surveys the
current state of the topic and introduces the reader to recent
advances in a tutorial style that makes the topic accessible to
newcomers to the field.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.