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

 

 

 Заседание № 14 (2009 г.)

4 июня 2009 г. (четверг) 15 ч.00 м.

 

Объединённый семинар по робототехническим системам

ИПМ им.М.В. Келдыша РАН, МГУ им.М.В.Ломоносова, МГТУ им.Н.Э. Баумана, ИНОТиИ РГГУ

под руководством А.К Платонова, Ю.Ф.Голубева и В.Е.Пряничникова

 ИПМ, гл. корпус, 51 комн.


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

  (по материалам кандидатской диссертации)


- Разработан метод частичных вычислений на примере стекового языка. 
- Описаны понятие допустимой разметки исходной программы и процесс генерации остаточной программы. 
- Доказана корректность генератора остаточной программы. 
- Метод реализован в экспериментальном специализаторе языка СП. 



 Заказ пропуска для участия в работе семинара - по тел. 250-7880 или 250-7819.