Principles of Program Analysis, Fachbücher von Chris Hankin, Flemming Nielson, Hanne R. Nielson

Das Buch "Principles of Program Analysis" bietet eine umfassende Einführung in die statischen Techniken zur Analyse von Programmen. Es behandelt die Berechnung zuverlässiger, approximativer Informationen über das dynamische Verhalten von Software und beleuchtet die Anwendungsmöglichkeiten in Bereichen wie Compiler-Optimierung, Softwarevalidierung und Datenrepräsentationstransformationen. Die Autoren, Flemming Nielson, Hanne R. Nielson und Chris Hankin, präsentieren die vier Hauptansätze der Programmanalyse: Datenflussanalyse, constraints-basierte Analyse, abstrakte Interpretation sowie Typ- und Effekt-Systeme. Durch die Darstellung der Ähnlichkeiten zwischen diesen Ansätzen wird den Lesenden geholfen, die geeignete Methode auszuwählen und diese mit Erkenntnissen aus anderen Ansätzen zu bereichern. Das Buch richtet sich an Studierende auf Master- und Doktoratsniveau, ist jedoch auch für erfahrene Forscher und Fachleute von Wert.