|
Вестник НГУ. Серия: Математика, механика, информатика, 2013, том 13, выпуск 2, страницы 61–78
(Mi vngu143)
|
|
|
|
Списочные надстройки и семантика итераторов
А. А. Малых, В. П. Манцивода Иркутский государственный университет, ул. К. Маркса, 1, Иркутск, 664003, Россия
Аннотация:
На базе теории списочных надстроек GES описывается семантика итераторов как абстрактного типа данных. Итераторы лежат в основе объектно-итерационного языка Libretto, поэтому результаты, сформулированные в данной работе, составляют первый этап построения логической семантики языка Libretto в целом. На примере этих построений демонстрируется обший подход к формированию логических семантик информационных структур с использованием GES.
Ключевые слова:
итератор, Libretto, семантика, списочная надстройка.
Поступила в редакцию: 02.05.2012
Образец цитирования:
А. А. Малых, В. П. Манцивода, “Списочные надстройки и семантика итераторов”, Вестн. НГУ. Сер. матем., мех., информ., 13:2 (2013), 61–78; J. Math. Sci., 203:4 (2014), 540–550
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu143 https://www.mathnet.ru/rus/vngu/v13/i2/p61
|
Статистика просмотров: |
Страница аннотации: | 149 | PDF полного текста: | 34 | Список литературы: | 38 | Первая страница: | 8 |
|