Dominance in Control Flow Graph, Fachbücher von Marek Honzírek

"Dominance in Control Flow Graph" ist ein Fachbuch, das sich mit der Analyse von Kontrollflussgraphen in der Informatik beschäftigt. Es behandelt die Identifikation von Dominatoren, die entscheidend für die Optimierung von Computerprogrammen sind. Dominatoren sind Teile des Codes, die bedingungslos ausgeführt werden müssen, und ihre Erkennung ist besonders wichtig für die Analyse und Verbesserung von Code, insbesondere in Assemblersprachen, die durch komplexe Strukturen, wie die Verwendung von GOTO-Anweisungen, gekennzeichnet sind. Das Buch beschreibt verschiedene Algorithmen zur Bestimmung von Dominatoren und untersucht deren Verhalten sowohl an zufälligen als auch an spezifischen Kontrollflussgraphen. Darüber hinaus werden die praktischen Anwendungen dieser Algorithmen sowie deren Beitrag zur Strukturierung von Kontrollflussgraphen erörtert. Die vorgestellten Lösungen bieten wertvolle Einblicke in die Optimierung und Analyse von Computerprogrammen.