Semantics of Program Analyses and Transformations
- Nick Benton
Lecture notes for the PAT Summer School. June 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.