Programming language theory

Programming language theory (PLT) is a branch of computer science that deals with the following aspects of programming languages:

• design
• implementation
• analysis
• characterization
• classification (for example programming paradigms