Advanced topics in principles, Techniques and tools of compiler principle