Advanced Slicing of Sequential and Concurrent Programs, Fachbücher von Jens Krinke

Das Buch "Advanced Slicing of Sequential and Concurrent Programs" von Jens Krinke bietet eine umfassende Analyse der Programmslicing-Technik, die darauf abzielt, relevante Programmteile zu identifizieren, die die Berechnungen anderer Anweisungen beeinflussen können. Trotz der fast 25-jährigen Forschung in diesem Bereich gibt es nach wie vor Herausforderungen, die eine breitere Anwendung von Programmslicing behindern. Insbesondere können die erzeugten Slices oft zu gross und komplex sein, um sie in realen Programmen effektiv zu nutzen. Dieses Fachbuch präsentiert innovative Ansätze zur Lösung dieser Probleme, indem es den Fokus auf die spezifischen Anliegen der Benutzer legt und die zugrunde liegenden Datenstrukturen, die für das Slicing verwendet werden, näher erläutert. Darüber hinaus wird ein neuartiger Ansatz zur Klon-Erkennung vorgestellt, der auf der Identifizierung ähnlicher Untergraphen in Programmabhängigkeitsgraphen basiert und eine verbesserte Erkennung modifizierter Klone ermöglicht. Der theoretische Teil des Buches behandelt zudem einen hochpräzisen Ansatz zum Slicing von konkurrierenden prozeduralen Programmen, der ohne die Notwendigkeit der Inlining von aufgerufenen Prozeduren auskommt.