Здравствуйте, VladD2, Вы писали:

VD>А АТД — это паттерн программирования.
VD>В ООЯ он или встроен явно или очень легко реализуется на абстрактных классах.

АбстрактныйТД это не абстрактный класс из ООП, и не в какой ООЯ он не встроен.
АТД это фактически абстрактное описание математической структуры, такое же как например группа или моноид.

VD>или очень легко реализуется на абстрактных классах.

Конкретный класс стэка, заточенный под единственный тип данных, без всяких виртуальных функций и абстрактных классов, уже сам по себе является воплощением АТД "стэк".