31 октября: Технология предикатного и автоматного программирования

Владимир Шелехов

Владимир Шелехов

Шелехов Владимир Иванович — к.т.н. зав.лаб. Системного Программирования, Институт Систем Информатики им. А.П. Ершова СО РАН, Новосибирск.

Аннотация (орфография и пунктуация авторские): Одной из предпосылок исследований стало осознание безнадежности императивного программирования. В целях построения адекватной технологии программирования рассматривается классы программ: программы-функции, программы-процессы, языковые процессоры и другие.

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

Программа-процесс является реактивной системой, реагирующей на определенный набор событий (сообщений) во внешнем окружении программы. Автоматная программа определяет конечный автомат в виде гиперграфа с набором управляющих состояний в качестве вершин и набором сегментов кода в качестве ориентированных гипердуг.

Рассматривается проект системы программирования с двумя языками функционального программирования, верхнего и нижнего уровня. Используются прямые и обратные трансформации.

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

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