[ДМК] Разработка компиляторов на основе формы SSA [Фабрис Растелло, Флоран Буше Тишаду]

Эта книга послужит читателям всеобъемлющим справочником по проектированию компиляторов на основе статического однократного присваивания (static-single assignment, SSA). Это первая (и на данный момент единственная) книга, подробно и всесторонне описывающая разработку оптимизирующего компилятора с использованием формы SSA. После ознакомления с базовым SSA и его основными свойствами авторы описывают несколько методов анализа и оптимизации компиляторов в рамках этой формы. В книге показано, как благодаря форме SSA можно упростить проектирование компиляторов и повысить их эффективность. Эта книга также послужит ценным учебником/справочником для преподавателей, облегчая преподавание курса компиляторов. В ней также рассматриваются сложные темы, такие как кодогенерация, алиасинг, предикация и многое другое, что делает эту книгу ценным источником информации для заинтересованных студентов и практикующих инженеров. Издание: Черно-белое Оригинальное название: SSA-Based Compiler Design Оригинальный правообладатель: Springer Объем, стр: ~400 ISBN: 978-5-93700-432-1 Формат: PDF