Comme cela a déjà été mentionné, la programmation peut être vue comme un travail de construction d'abstractions. En programmation, on distingue trois types d'abstractions :
Ce chapitre concerne le troisième cas. Afin d'apprécier son importance, il est faut d'abord comprendre comment on développe des programmes de taille conséquente.