CS 8050: Principles of Software Design and Programming Languages

3 Credit Hours
Prerequisite: Admission to Computer Science Ph.D. Program, Computer Science M.S. Program, or Analytics and Data Science Ph.D. Program
This course covers the principles of software design with a particular focus on abstraction and models, and programming language pragmatics. This includes a comparative analysis of programming language paradigms with emphasis on design aspects, formal semantics of programming languages, type systems, parsing, scoping, allocation, control of program flow, concurrency, formal tools for characterizing program execution, and abstraction techniques. In terms of programming models, the course covers data abstraction and object orientation, functional languages, logic languages, concurrency, and scripting languages.