Students develop an understanding of the organization and design of programming languages through the formal study of programming language specifications and analysis.