Advanced Slicing of Sequential and Concurrent Programs - Couverture souple

Krinke, Jens

 
9783836475457: Advanced Slicing of Sequential and Concurrent Programs
Couverture souple
ISBN 10 : 3836475456 ISBN 13 : 9783836475457
Editeur : VDM Verlag Dr. Müller, 2008

Synopsis

Program slicing is a technique to identify statements that may influence the computations in other statements. Despite the ongoing research of almost 25 years, program slicing still has problems that prevent a widespread use: Sometimes, slices are too big to understand and too expensive and complicated to be computed for real-life programs. This book presents solutions to these problems: It contains various approaches which help the user to understand a slice more easily by making it more focused on the user's problem. The underlying data structures used for slicing are program dependence graphs. They can also be used for different purposes: A new approach to clone detection based on identifying similar subgraphs in program dependence graphs is presented; it is able to detect modified clones better than other tools. In the theoretical part, this book presents a high-precision approach to slice concurrent procedural programs despite that optimal slicing is known to be undecidable. It is the first approach to slice concurrent programs that does not rely on inlining of called procedures.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Program slicing is a technique to identify statements that may influence the computations in other statements. Despite the ongoing research of almost 25 years, program slicing still has problems that prevent a widespread use: Sometimes, slices are too big to understand and too expensive and complicated to be computed for real-life programs. This book presents solutions to these problems: It contains various approaches which help the user to understand a slice more easily by making it more focused on the user's problem. The underlying data structures used for slicing are program dependence graphs. They can also be used for different purposes: A new approach to clone detection based on identifying similar subgraphs in program dependence graphs is presented; it is able to detect modified clones better than other tools. In the theoretical part, this book presents a high-precision approach to slice concurrent procedural programs despite that optimal slicing is known to be undecidable. It is the first approach to slice concurrent programs that does not rely on inlining of called procedures.

Biographie de l'auteur

Jens Krinke received his Ph.D. in computer science from the University of Passau, Germany, in 2003. Shortly after, he became assistant professor for software technology at FernUniversität/University in Hagen, the only distance teaching university in Germany.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
VDM Verlag Dr. Müller
Date d'édition
2008
Langue
anglais
ISBN 10 
3836475456
ISBN 13 
9783836475457
Reliure
Broché
Nombre de pages
252
Coordonnées du fabricant
non disponible
Personne responsable
non disponible