1 марта: О верификации программ, манипулирующих строковыми данными

Непейвода Антонина Николаевна

Непейвода Антонина Николаевна

Непейвода Антонина Николаевна — м.н.с. центра мультипроцессорных систем ИПС им. А.К. Айламазяна РАН. Научные интересы: преобразование и анализ программ, формальные языки и грамматики.

В докладе будет рассмотрена проблема преобразования и верификации программ, манипулирующих строками. Предложен новый метод описания свойств параметризованных конфигураций анализируемой программы посредством языка уравнений в словах. Уравнение в словах есть выражение вида w = u, где w, u - слова в алфавите, являющимся объединением алфавита символов и алфавита строковых переменных. За счет использования языка уравнений в словах можно выявить и кратко выразить некоторые нетривиальные свойства допустимых значений параметров.

Метод развивается в терминах суперкомпиляции - метода преобразования программ, основанного на развертке и свертке дерева параметризованных состояний оптимизируемой программы. На базе идеи описания свойств строковых параметров посредством уравнений в словах построен модельный суперкомпилятор MSCP-A - оптимизатор программ на языке программирования Рефал.

Расширенный вариант аннотации доклада можно прочитать по этой ссылке.

Доклад состоится 1 марта 2018 года в 17:00 в Институте системного программирования РАН имени В.П. Иванникова. Институт располагается в здании по адресу: улица Александра Солженицына, дом 25. Аудитория 110.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

*

Можно использовать следующие HTML-теги и атрибуты: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>