URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Хоар Ч., Скотт Д., Парнас Д. и др. Данные в языках программирования. Абстракция и типология. Сб. статей. Пер. с англ.
Id: 30083
 
499 руб.

Данные в языках программирования. Абстракция и типология. Сб. статей. Пер. с англ.

1982. 328 с. Мягкая обложка. Букинист. Состояние: 4+. Есть погашенная печать расформированной библиотеки.

 Аннотация

Сборник посвящен новому направлению в системном и теоретическом программировании --- разработке языковых средств абстракции данных, позволяющих хорошо структурировать программы, и исследованию понятия типа данных в программировании. В числе авторов --- известные специалисты, основатели этого направления --- Ч. Хоар, Д. Скотт (Великобритания), Д. Парнас (США) и др.

Для программистов и математиков, интересующихся методологией, языковыми и математическим основами программирования.

содержание

 Предисловие

............................ 5

Д. Парнас. Метод спецификации модулей программного

обеспечения (с примерами). Перевод В. С. Нумерова..... 9

Д. Скотт. Теория решеток, типы данных и семантика.

Перевод В. Ю. Сазонова.................... 25

Ч. Хоар. Доказательство правильности представления данных.

Перевод М. И. Дехтяря.................... 54

Дж. Эрли. Структуры данных реляционного уровня

для языков программирования. Перевод В. С. Нумерова.... 68

Б. Лиспов, С. Зиллес. Методы спецификации, используемые

для абстракции данных. Перевод М. И. Дехтяря....... 91

В. Вульф, Р. Лондон, М. Шоу. Введение в построение и верификацию программ на языке Альфард. Перевод М. И. Дехтяря........................ 123

А. Шамир, У. Уэйдж. Типы данных как объекты. Перевод

В. Ю. Сазонова....................... 154

Б. Б росгол. Дискуссионные вопросы из области типов данных

и контроля типов. Перевод В. Н. Агафонова.......... 170

Д. Леман, М, Смит. Типы данных Перевод М. К. Валиева.. 196

А. Демерс, Дж. Донахью, Р. Тейтелъбаум, Дж, Уильяме. Инкапсулированные типы данных и полиморфные процедуры.

Перевод В. Н. Агафонова................... 214

X. Эриг, Х.-Й. Вреовски, П. Ладавиц. Алгебраическая реализация абстрактных типов данных: понятие, синтаксис, семантика и корректность. Перевод М. К. Валиева...... 243

И. Н. Агафонов. Типы и абстракция данных

в языках программирования (обзор).............. 265

 
© URSS 2016.

Информация о Продавце