Program Analysis Techniques for Identifying Concurrency Errors: An Integrated Static and Dynamic Program Analysis Framework for Checking Concurrency-Related Programming Errors - Couverture souple

Chen, Qichang

Couverture souple

ISBN 10 : 3659625329 ISBN 13 : 9783659625329

Editeur : LAP LAMBERT Academic Publishing, 2014

Synopsis

Today, multi-core/multi-processor hardware has become ubiquitous, which puts us at a fundamental turning point on software development. However, developing concurrent programs is difficult. Concurrency introduces the possibility of errors that do not exist in sequential programs. This book covers the state-of-the-art research achievements on detecting concurrency errors such as deadlock, race condition, and atomicity violation and also presents several aggressive performance optimization techniques for hybrid program analysis.

A propos du livre

À propos de l'auteur

Qichang Chen received his Ph.D. in Computer Science from University of Wyoming in 2011/08 and received a B.E. in Computer Science and Technology from Fuzhou University in 2006/07. His PhD research focuses on designing and enhancing concurrent software bugs detection approaches via combinations of static and dynamic program analysis techniques.

Détails de l'édition

• Éditeur: LAP LAMBERT Academic Publishing
• Date d'édition: 2014
• Langue: anglais
• ISBN 10: 3659625329
• ISBN 13: 9783659625329
• Reliure: Broché
• Nombre de pages: 164
• Coordonnées du fabricant: non disponible
• Personne responsable: KreGa Onlinehandel GmbH; 4950000000000; info@krega-onlinehandel.de; ; Birkenweg 31; Brakel; 33034; Allemagne