Program Dependences, Slicing, and Verification: Accurate and Scalable Approaches for Concurrent Object Oriented Programs

By Venkatesh-Prasad Ranganath

This dissertation presents accurate and scalable approaches to discover program dependences (relations) between various parts of the program and leveraging the dependences to improve development and... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3639228030
• ISBN13: 9783639228038
• Release Date: March 2010
• Publisher: VDM Verlag
• Length: 304 Pages
• Weight: 0.99 lbs.
• Dimensions: 0.7" x 6.0" x 9.0"