تئوری زبان برنامه نویسی

Also known as theory of programming languages, PLT

branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features