04.06.2009

Семинар: "Специализация программ на объектно-ориентированных языках методом частичных вычислений"

 Состоялся семинар по робототехническим системам ИПМ им.М.В. Келдыша РАН, МГУ им.М.В.Ломоносова, МГТУ им.Н.Э. Баумана, ИНОТиИ РГГУ и Семинар отдела программирования, на котором выступал Юрий Андреевич Климов с докладом "Специализация программ на объектно-ориентированных языках методом частичных вычислений" (по материалам кандидатской диссертации). Были рассмотрены следующие аспекты:
-Разработан метод частичных вычислений на примере стекового языка.
-Описаны понятие допустимой разметки исходной программы и процесс генерации остаточной программы.
-Доказана корректность генератора остаточной программы.
-Метод реализован в экспериментальном специализаторе языка СП.



Версия для печати



Последние новости  Последние новости    Все новости за месяц  Все новости за месяц