Cеминар "Модели и методы управления"

Постоянно действующий семинар Исследовательского центра процессов управления ИПС имени А.К.Айламазяна.

Свои предложения о докладах направляйте Маштакову А.П. (alexey.mashtakov@gmail.com). Приглашаем всех желающих.

Архив семинара:

02.04.2012, 14.00, в зале заседаний Ученого совета ИПС

Немытых А.П.

Автоматическая специализация программ: постановка задачи и два примера специализации

Пусть частично вычислимая функция f(x,y) : N х M -> K задана в виде программы p(x,y). Рассмотрим ограничение этой функции на сечение {x_0} х M : F(y) = f(x_0,y). Простейшая задача специализации есть задача автоматического построения программы q(y), реализующей функцию F(y) и обладающей (когда это возможно) более эффективными свойствами ее исполнения по сравнению с исполнением p(x_0,y). В докладе будет рассказано, почему эта задача одновременно интересна и трудна.
Будут рассмотрены:
  • пример специализации конструкции построения арифметики простого алгебраического расширения поля рациональных чисел;
  • интерактивное решение известной головоломки "Миссионеры и каннибалы" посредством специализации программы моделирующей динамику этой головоломки.
Суперкомпиляция есть метод автоматической специализации программ. Если удастся уложиться в отведенное для доклада время, то будет дано введение в некоторые базовые понятия суперкомпиляции, которые будут продемонстрированы посредством графической трассировки суперкомпилятора SCP4.
От слушателей не предполагается умения программировать. Достаточно понимать что такое индуктивное определение. Примерами индуктивных (разностных) определений являются определения арифметической и геометрической прогрессий, а также последовательности чисел Фибоначчи. Другим примером индуктивного определения является классическое определение формул исчисления высказываний.