Применение SSA в компиляторах (Фабрис Растелло, Флоран Буше Тишаду)
Ссылка на картинку
Аннотация
Эта книга послужит читателям всеобъемлющим справочником по проектированию компиляторов на основе статического однократного присваивания (static-single assignment, SSA). Это первая (и на данный момент единственная) книга, подробно и всесторонне описывающая разработку оптимизирующего компилятора с использованием формы SSA. После ознакомления с базовым SSA и его основными свойствами авторы описывают несколько методов анализа и оптимизации компиляторов в рамках этой формы.
В книге показано, как благодаря форме SSA можно упростить проектирование компиляторов и повысить их эффективность. Эта книга также послужит ценным учебником/справочником для преподавателей, облегчая преподавание курса компиляторов. В ней также рассматриваются сложные темы, такие как кодогенерация, алиасинг, предикация и многое другое, что делает эту книгу ценным источником информации для заинтересованных студентов и практикующих инженеров.