CSC 633 - Advanced Programming Languages (3)

Programming Languages is the branch of computer science that studies the design and analysis of formal languages used to program computers. This course will introduce students to the fundamental concepts of programming language theory and how they can be applied to real-world problems. Students will learn how to use mathematical methods to analyze programming languages and how to apply these methods to different kinds of languages. Students will also learn how to use tools such as theorem provers and proof checkers to reason about programs and their properties. Finally, students will explore some of the latest research topics in programming languages.