Рассматривается классификация программ по их внутренней организации, определяющей интерфейс с внешним окружением, форму спецификации программы и другие особенности. Классификация ориентирована на разработку адекватной технологии для каждого класса программ. Определены три класса программ: класс программ-функций, класс реактивных систем и класс языковых процессоров.