Семинар памяти В.Ф.Турчина в четверг 19 апреля 2018 в ИПМ

12 views

Skip to first unread message

Andrei Klimov

unread,

Apr 16, 2018, 9:15:39 AM4/16/18

to Alex Vedenov, Alexander Andrianov, Alexander Bugerya, Alexander Slesarenko, Alexei Adamovich, Anatoly Okunev, Andrei Nemytykh, Antonina Nepeivoda, Dmitriy Shalyga, Igor Adamovich, Ivan Soroko, Kirill Efimkin, Leonid Eisymont, Leonid Provorov, Nikolai Nepejvoda, Sergei M Abramov, Alexei Firsov, Anton Orlov, Arkady Klimov, Artem Shvorin, Sergei Grechanik, Sergei Romanenko, Yuri Klimov, Alexei Lacis, Михаил Горбунов-Посадов, Victor A Kryukov, Vladimir Galaktionov, Tatiana Turchin, re...@botik.ru, refal...@botik.ru, metacomputation-ru

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

В четверг 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 для оформления разового материального пропуска. Он будет у вахтера в главной проходной.

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

До встречи!

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

Sergei Romanenko

unread,

Apr 23, 2018, 9:03:11 AM4/23/18

to Andrei Klimov, Alex Vedenov, Alexander Andrianov, Alexander Bugerya, Alexander Slesarenko, Alexei Adamovich, Anatoly Okunev, Andrei Nemytykh, Antonina Nepeivoda, Dmitriy Shalyga, Igor Adamovich, Ivan Soroko, Kirill Efimkin, Leonid Eisymont, Leonid Provorov, Nikolai Nepejvoda, Sergei M Abramov, Alexei Firsov, Anton Orlov, Arkady Klimov, Artem Shvorin, Sergei Grechanik, Yuri Klimov, Alexei Lacis, Михаил Горбунов-Посадов, Victor A Kryukov, Vladimir Galaktionov, Tatiana Turchin, Refal Botik, refal...@botik.ru, metacomputation-ru

Слайды презентации выставлены на странице

https://pat.keldysh.ru/~roman/doc/talks/index.md

Сергей Романенко. Рефал и Идрис как воплощения идеи "метаалгоритмического языка". Апрель 2018.

https://pat.keldysh.ru/~roman/doc/talks/2018_Romanenko__Refal_and_Idris__slides.pdf
https://github.com/sergei-romanenko/idris-samples/blob/master/SmallStep/StackMachine.id