https://en.wikipedia.org/wiki/Programming_language_theory
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages and of their individual features.It falls within the discipline of computer science, both depending on and affecting mathematics, software engineering, linguistics and …