Списочные надстройки и семантика итераторов

На базе теории списочных надстроек GES описывается семантика итераторов как абстрактного типа данных. Итераторы лежат в основе объектно-итерационного языка Libretto, поэтому результаты, сформулированные в данной работе, составляют первый этап построения логической семантики языка Libretto в целом. На примере этих построений демонстрируется обший подход к формированию логических семантик информационных структур с использованием GES.