List Superstructures and the Semantics of Iterators

In the paper the semantics of iterators as an abstract data type is considered — on the basis of the list superstructure theory (GES). An iterator is the key component of the iterational language Libretto, and, thus, the results presented in this paper pave the way for the construction of the comprehensive Libretto's logical semantics. The methods developed in this paper also can be applied to the development of logical semantics of information structures based on GES.