Semantics of Program Analyses and Transformations
Nick Benton · 2005
These lectures are concerned with how we can formalize just what it is that a static analysis computes about programs and how we might begin to formalize the ways in which that information may be used in program transformation.