The study of the organization and types of programming languages including analysis of imperative, object-oriented, functional, and declarative language paradigms. Other topics include formal languages and language hierarchies, syntactic and semantic specification, context-free languages, abstraction, modularity, program structure and fundamental programming language concepts.