Главная страница « Научно-исследовательский семинар «

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