Program Analysis and Compilation