Владимир Шелехов
Шелехов Владимир Иванович — к.т.н. зав.лаб. Системного Программирования, Институт Систем Информатики им. А.П. Ершова СО РАН, Новосибирск.
Аннотация (орфография и пунктуация авторские): Одной из предпосылок исследований стало осознание безнадежности императивного программирования. В целях построения адекватной технологии программирования рассматривается классы программ: программы-функции, программы-процессы, языковые процессоры и другие.
Излагается теория класса программ-процессов: формальная семантика, язык предикатного программирования, гиперфункции, метод дедуктивной верификации и программного синтеза, набор оптимизирующих трансформаций, технология предикатного программирования.
Программа-процесс является реактивной системой, реагирующей на определенный набор событий (сообщений) во внешнем окружении программы. Автоматная программа определяет конечный автомат в виде гиперграфа с набором управляющих состояний в качестве вершин и набором сегментов кода в качестве ориентированных гипердуг.
Рассматривается проект системы программирования с двумя языками функционального программирования, верхнего и нижнего уровня. Используются прямые и обратные трансформации.
Доклад состоится 31 октября 2019 года в 17:00 в Институте системного программирования РАН имени В.П.Иванникова. Адрес института: улица Александра Солженицына, дом 25. Аудитория 111.
sdat-seminar