Предложен метод, проверяющий сохранение статической семантической корректности программ при проведении над ними оптимизирующих преобразований. Метод основан на формальном описании статической семантики языков программирования с помощью предикатов алгебры логики. Он может быть использован при разработке оптимизирующих и распараллеливающих компиляторов.
статическая семантика, оптимизирующие компиляторы, оптимизирующие преобразования программ, корректность преобразований программ