Абстрактные типы данных (АТД)
Лекция из курса Основы объектно-ориентированного программирования
Критерии
Различные реализации
Представления стеков
Опасность излишней спецификации
Какова длина второго имени?
К абстрактному взгляду на объекты
Использование операций
Политика невмешательства в обществе модулей
Согласованность имен
Можно ли обойтись без абстракций?
Формализация спецификаций
Специфицирование типов
Универсализация (Genericity)
Перечисление функций
Категории функций
Раздел АКСИОМЫ
Две или три вещи, которые мы знаем о стеках
Частичные функции
Предусловия
Полная спецификация
Ничего кроме правды
Содержание раздела
