В это новое издание книги внесено много технических обновлений, добавлены материалы по последним разработкам в области технологии компиляторов и принципиально изменен подход к изложению в средней части книги, куда включены новые главы, посвященные семантической детализации (задачам, возникающим при генерировании кода по схемам ситуативной синтаксически управляемой трансляции в сгенерированном парсере), поддержке именование и адресуемости на этапе выполнения и форме кода для выражений присваивания и управляющих конструкций. Авторы подвергли переработке свой популярный учебник, предложив новый подход к изучению важных методов построения современного компилятора, которые объединяют базовые принципы с прагматическими извлечениями из собственного опыта.
Основные особенности настоящего издания:
углубленное изучение алгоритмов и методов, применяемые в фазе анализа современного компилятора;
упор на оптимизацию и генерирование кода, основные области недавних исследований и разработок;
новые главы в средней части книги, посвященные тому, как компиляторы (и интерпретаторы) реализуют абстракции, с привязкой к уже имеющемуся опыту студентов и к языкам, которые они изучали на предшествующих курсах;
глава 13 о распределении регистров полностью переписана, основное внимание теперь уделено восходящим методам распределения регистров в локальной области видимости;
добавлена глава 14, содержащая обзор оптимизации на этапе выполнения, описание задач, возникающих при построении JIT-компилятора и краткий обзор истории развития JIT-компиляторов с 1960-х годов до наших дней.
В отличие от многих других учебников по компиляторам, эта книгауделяет равное внимание всем аспектам конструирования компиляторов — от проектирования фазы анализа и построения инструментов до построения различных фаз анализа, отображения исходного кода на промежуточную форму, оптимизации кода и алгоритмов, применяемых на фазе синтеза.