Семинар: Выявление и доказательство свойств функциональных программ методами суперкомпиляции 17.06.2010

 Заседание № 11 (2010 г.) 

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

 

 

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

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

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

 и Семинар отдела программирования

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

И.Г.Ключников

 (http://pat.keldysh.ru/~ilya/)

Выявление и доказательство свойств функциональных программ методами суперкомпиляции 

(по материалам кандидатской диссертации, научный руководитель С.А.Романенко)

  1. Алгоритм суперкомпиляции для функций высших порядков.
  2. Использование суперкомпиляции для распознавания эквивалентности выражений высшего порядка и улучшающих лемм.
  3. Улучшение асимптотики программ с помощью многоуровневой суперкомпиляции.
  4. Применения. Доказательство эквивалентности абстрактных машин и
  5. Проверка корректности реализаций монад из стандартной библиотеки языка Haskell.

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