Terms for subject Programming containing programming language theory

English	Russian
modern programming language theory	современная теория языков программирования (Alex_Odeychuk)
programming language theory	теория языков программирования (ssn)
theory of machine-independent programming languages	теория платформо-независимых языков программирования (nsa.gov Alex_Odeychuk)