Сборник посвящен новому направлению в системном и теоретическом программировании — разработке языковых средств абстракции данных, позволяющих хорошо структурировать программы, и исследованию понятия типа данных в программировании. В числе авторов — известные специалисты, основатели этого направления — Ч. Хоар, Д. Скотт (Великобритания), Д. Парнас (США) и др.Для программистов и математиков, интересующихся методологией, языковыми и математическими основами программирования.
Author(s): Агафонов В.Н. (ред.)
Series: Математическое обеспечение ЭВМ
Publisher: Мир
Year: 1982
Language: Russian
Commentary: обрезал поля
Pages: 329
City: Москва
Предисловие 5
Д. Парнас. Метод спецификации модулей программного обеспечения (с примерами). Перевод В.С. Нумерова 9
Д. Скотт. Теория решеток, типы данных и семантика. Перевод В.Ю. Сазонова 25
Ч. Хоар. Доказательство правильности представления данных. Перевод М. И. Дехтяря 54
Дж. Эрли. Структуры данных реляционного уровня для языков программирования. Перевод В.С. Нумерова 68
Б. Л исков, С. Зиллес. Методы спецификации, используемые для абстракции данных. Перевод М.И. Дехтяря 91
В. Вульф, JP. Лондон, М. Шоу. Введение в построение и верификацию программ на языке Альфард. Перевод М.И. Дехтяря 123
А. Шамир, У.Уэйдж• Типы данных как объекты. Перевод В.Ю. Сазонова 154
Б. Бросгол. Дискуссионные вопросы из области типов данных и контроля типов. Перевод В.Н. Агафонова 170
Д. Леман, М. Смит. Типы данных. Перевод М.К. Валиева 196
A. Демерс, Дж. Донахью, Р.Тейтелъбаум, Дж.Уильямс. Инкапсулированные типы данных и полиморфные процедуры.
Перевод В.Н. Агафонова 214
X. Эриг, Х.-й. Креовски, П. Ладавиц. Алгебраическая реализация абстрактных типов данных: понятие, синтаксис,
семантика и корректность. Перевод М.К. Валиева 243
B.Н. Агафонов. Типы и абстракция данных в языках программирования (обзор) 265
