Добрый день всем!

В *четверг 19 апреля с 11 часов *в комнате 416 в ИПМ проведем традиционный
апрельский семинар памяти Валентина Федоровича Турчина (14.02.1931–
07.04.2010). Программа:

   - 11:00
   *Антонина Непейвода *(ИПС им. А.К.Айламазяна РАН),
   *Применение уравнений в словах при преобразовании программ над строковым
   типом*
      - В докладе будет рассмотрена проблема преобразования и верификации
      программ, манипулирующих строками. Предложен новый метод описания свойств
      параметризованных конфигураций анализируемой программы посредством языка
      уравнений в словах. Уравнение в словах есть выражение вида w =
u, где w, u
      – слова в алфавите, являющимся объединением алфавита символов и алфавита
      строковых переменных. За счет использования языка уравнений в
словах можно
      выявить и кратко выразить некоторые нетривиальные свойства допустимых
      значений параметров.
      Метод развивается в терминах суперкомпиляции – метода преобразования
      программ, основанного на развертке и свертке дерева параметризованных
      состояний оптимизируемой программы. На базе идеи описания
свойств строковых
      параметров посредством уравнений в словах построен модельный
      суперкомпилятор MSCP-A – оптимизатор программ на языке программирования
      Рефал.
      - Можно посмотреть pdf-файл презентации ее предыдущего выступления на
      эту тему:

      
http://refal.botik.ru/events/String_Manipulating_Supercompilation_Antonina_Nepeivoda_01032018.pdf
      на семинаре в ИСП им. В.П. Иванникова РАН 1 марта 2018
      http://sdat.ispras.ru/2018/02/1-марта-О-верификации-программ-манипул/

   - Кофе-брейк
      - Время начала и конца перерыва зависит от окончания предыдущего
      доклада.
      Время следующего доклада приблизительное. Может начаться и раньше.

   - 14:00
   *Сергей Романенко* (ИПМ им. М.В. Келдыша РАН),
   *Рефал и Идрис как воплощения идеи "метаалгоритмического языка"*
      - Будет дано введение в язык Идрис и обсуждаться идеи, представленные
      в докладе в Абрау 2017 и постконференционной статье
      http://doi.org/10.20948/abrau-2017-63
      По сравнению с Рефалом языки Агда и Идрис предоставляет
      дополнительные возможности для записи утверждений о программах и
      доказательств этих утверждений.

------------------------------

Гости ИПМ, которым нужен разовый пропуск, напишите мне по email или пошлите
смс-ку с ФИО и НОМЕРОМ ПАСПОРТА на моб. +7 985 364 3536. Разовые пропуска
получите в бюро пропусков в окошке слева от вахтера в главной проходной
("стеклянной", со стороны Миусской площади).

Если у вас с собой будет ноутбук (не включенный в 2017 году в список
ноутбуков на вахте), сообщите марку и S/N для оформления разового
материального пропуска. Он будет у вахтера в главной проходной.

Кому был заказан временный пропуск, но еще не успели его получить, –
удачный момент это сделать.
------------------------------

До встречи!

Андрей Климов

Ответить