Abstract Compilation by Taegyoon Kim 2008.04.09 Introduction Static analyses typically use abstract interpretaion to achieve speed-up of program analyses. The problem is that abstract execution is slow. Even if the syntax tree of the source code to be analyzed is available, you convert them to machine codes as you interpret them. Most slowdowns occur in loops because of interpreting the same cod..