История на обектно-ориентирани езици за програмиране Теория на езиците за програмиране (programming language theory, PLT) е раздел от информатиката, който се с въпросите на проектиране, анализ, определяне на характеристиките и класификация на езиците за програмиране и изучава техните индивидуални особености.