Geodesic
List Superstructures and the Semantics of Iterators
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 13 (2013) no. 2, pp. 61-78

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Keywords: iterator, semantics, list superstructure.
Mots-clés : Libretto 
@article{VNGU_2013_13_2_a6,
     author = {A. A. Malykh and V. P. Mantsivoda},
     title = {List {Superstructures} and the {Semantics} of {Iterators}},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {61--78},
     publisher = {mathdoc},
     volume = {13},
     number = {2},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2013_13_2_a6/}
}
TY  - JOUR
AU  - A. A. Malykh
AU  - V. P. Mantsivoda
TI  - List Superstructures and the Semantics of Iterators
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2013
SP  - 61
EP  - 78
VL  - 13
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VNGU_2013_13_2_a6/
LA  - ru
ID  - VNGU_2013_13_2_a6
ER  - 
%0 Journal Article
%A A. A. Malykh
%A V. P. Mantsivoda
%T List Superstructures and the Semantics of Iterators
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2013
%P 61-78
%V 13
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2013_13_2_a6/
%G ru
%F VNGU_2013_13_2_a6
A. A. Malykh; V. P. Mantsivoda. List Superstructures and the Semantics of Iterators. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 13 (2013) no. 2, pp. 61-78. http://geodesic.mathdoc.fr/item/VNGU_2013_13_2_a6/