"Program Analysis and Compilation, Theory and Practice" - читать интересную книгу автора (Thomas Reps, Mooly Sagiv, Jörg Bauer)