Разработка компиляторов на основе формы SSA

Эта книга представляет собой фундаментальное руководство по проектированию и реализации оптимизирующих компиляторов, использующих представление с единственным статическим присваиванием (SSA). В ней последовательно рассматриваются алгоритмы построения и деструкции формы SSA, методы разреженного анализа потока данных, устранение избыточности, распределение регистров, выбор команд и генерирование машинного кода.

Обширный материал охватывает как фундаментальные алгоритмы, так и современные расширения SSA, включая работу с памятью, псевдонимией, массивами и аппаратной компиляцией. Книга детально разбирает свойства SSA, её варианты (строгая, усеченная, традиционная и преобразованная формы), а также стандартные алгоритмы построения и деструкции.

Издание будет полезно разработчикам компиляторов, исследователям в области системного программирования, а также студентам и аспирантам, уже владеющим базовыми знаниями теории компиляции. Книга переведена с английского оригинала "SSA-based Compiler Design" и издана по лицензии Springer Nature.