Объектные теории над списочными надстройками

В работе исследуются возможности использования методов семантического программирования, основанных на теории наследственно-конечных списочных надстроек (GES), для логического моделирования объектно-ориентированного подхода в программировании. На основе GES нами строится формальная система, аналогичная объектной дескриптивной логике $\mathcal{OODL}$, которая позволяет, в отличие от $\mathcal{OODL}$, естественным образом моделировать такие важные понятия программирования как упорядоченные структуры данных (например, списки и массивы). Формальная система, которая определяется и исследуется в данной работе, может служить для построения логических семантик языков программирования, в частности, объектно-ориентированного языка Libretto.