The theory of semantics of programming languages is related to model theory, as is program verification (in particular, model checking).
Изучувањето на семантиката на програмскиот јазик е сродно со теоријата на моделите, како што е програмска верификација (поконкретно проверка на модели).