Видео доклада Формальное определение абстракции

Абстракция — одно из ключевых определений программирования. Но его понимание, изучение и применение на практике вызывает трудности. Возможная причина — неформальный характер наиболее популярных определений. В докладе будет предложено формальное определение, проиллюстрировано его применение на примерах, а также несколько ограничений на применение абстракций, которые вытекают из определения, которые хорошо согласуются с практикой.