Text this: Program analysis and compilation, theory and practice :