Процесс переложения императивных программ в функциональные
Формальная сводимость императивных и функциональных программ в обе стороны
Компиляция и распараллеливание программ применяются для эффективного исполнения программ
Если известно, что процесс может произойти вслед за событием, влекущим этот процесс, то событие называют
Серия функциональных эквивалентов программы анализируется
Набор критериев выбора функциональных эквивалентов
Оптимизирующие преобразования программ
Специализация интерпретатора программ
Для удобства отладки программ необходимы
Автоматическое распараллеливание последовательных программ