Абстрактные типы данных (АТД)

Лекция из курса Основы объектно-ориентированного программирования
Критерии
Различные реализации
Представления стеков
Опасность излишней спецификации
Какова длина второго имени?
К абстрактному взгляду на объекты
Использование операций
Политика невмешательства в обществе модулей



Согласованность имен
Можно ли обойтись без абстракций?
Формализация спецификаций
Специфицирование типов
Универсализация (Genericity)
Перечисление функций

Категории функций
Раздел АКСИОМЫ
Две или три вещи, которые мы знаем о стеках
Частичные функции
Предусловия
Полная спецификация
Ничего кроме правды

Содержание раздела

---