Programming language theory is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Wikipedia