Представлена классификация промежуточных представлений программ, написанных на различных языках программирования. Такие представления используются на практике в задачах трансляции программ, разработанных на нескольких языках. Основными критериями классифи-кации являются синтаксические характеристики представления (являются ли частью представления нетривиальные синтаксические конструкции), способ описания потока исполнения (синтаксические конструкции, графы или байт-код), а также типизация элементов представления (сохраняются ли типы выражений исходного языка программирования в промежуточном представлении; какова степень соответствия типов в промежуточном представлении и типов в исходном языке программирования). С позиций предлагаемой классификации представлено современное состояние исследований в области промежуточных представлений программ.