Информатика (программирование)
Информатика и вычислительная техника
Статья
  • формат pdf
  • размер 15,84 МБ
  • добавлен 13 февраля 2013 г.
Агафонов В.Н. (ред.) Данные в языках программирования: Абстракция и типология
М.: Мир, 1982. 328 с. Сборник посвящён одному из направлений системного теоретического программирования - разработке языковых средств абстракции данных, позволяющих хорошо структурировать программы, и исследованию понятия типа данных в программировании. Краткое содержание:
Парнас Д. Метод спецификации модулей программного обеспечения (с примерами).
Скотт Д. Теория решеток, типы данных и семантика. Доказательство правильности представления данных.
Эрли Дж. Структуры данных реляционного уровня для языков программирования.
Лисков Б., Зиллес С. Методы спецификации, используемые для абстракции данных.
Вульф В., Лондон Р., Шоу М. Введение в построение и верификацию программ на языке Альфард.
Шамир А., Уэйдж У. Типы данных как объекты.
Бросгол Б. Дискуссионные вопросы из области типов данных и контроля типов.
Леман Д., Смит М. Типы данных.
Демерс А., Донахью Дж., Тейтельбаум Р., Уильямс Дж. Инкапсулированные типы данных и полиморфные процедуры.
Эриг Х., Креовски Х.-Й., Падавиц П. Алгебраическая реализация абстрактных типов данных: понятие, синтаксис, семантика и корректность.
Агафонов В.Н. Типы и абстракция данных в языках программирования (обзор).