Семинар: "Введение в суперкомпиляцию и специализацию программ, состояние дел и потенциальные приложения"

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

9 апреля 2009 г. (четверг) 15 ч.00 м.

 

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

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

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

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

А.В.Климов
Введение в суперкомпиляцию и специализацию программ,
состояние дел и потенциальные приложения

- Основные понятия суперкомпиляции программ на примерах.
- Пример доказательства теоремы с помощью суперкомпиляции.
- Краткий обзор работ и характеристика состояния дел по специализации программ


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