Ein tiefgehendes Werk über die Theorie der Programmanalyse, das fortgeschrittene Konzepte wie abstrakte Interpretation, Datenflussanalyse und Kontrollflussgraphen aus mathematischer Sicht beleuchtet und anhand von praxisnahen Fallstudien veranschaulicht.