Separation Logic for Multithreaded Object-Oriented Languages

By Clément Hurlin

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3838363167
• ISBN13: 9783838363165
• Release Date: May 2010
• Publisher: LAP Lambert Academic Publishing
• Length: 200 Pages
• Weight: 0.66 lbs.
• Dimensions: 0.5" x 6.0" x 9.0"