Вводится SSA-форма для массивов: новое расширение формы со статически однократным присваиванием на код с массивами. Предложен алгоритм её построения. Показано, что такое расширение позволяет улучшить существующие оптимизирующие преобразования, использующие SSA-форму. Предложен алгоритм выполнения подстановки в цикле и переименования массивов в цикле с помощью SSAформы для массивов. Новое преобразование «удаление полумёртвого кода» оптимизирует циклы с полумертвым кодом, а иногда может и распараллелить их