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