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

Заседание научно-исследовательского семинара. 30 ноября 2005 г.

Продолжение доклада: «Интерпретация строго типизированных функциональных программ»
Докладчик: Будагян Лусине Эдгаровна, стажер кафедры АСВК факультета ВМК МГУ.

Предыдущее заседание « | 30.11.2005 | » Следующее заседание

Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Спецсеминары
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

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

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 2.11.2005