Programming Languages

Catalog description

Programming languages are a fundamental aspect of computer science, and as computer science and society evolve the need for more advanced programming languages rises. This course will provide the understanding of how to formally design and analyze programming languages using formal models. The student will gain an understanding of the syntax and semantics of programming languages to gain a deeper understanding of correctness of programs, software verification, and the wider notion of formal methods. Furthermore, through course projects the student will gain an understanding of programming in various paradigms, and in the implementation of programming languages. Strong understanding of undergraduate-level mathematical structures in computer science and theory of computation are expected Lecture Hours: 3 Repeatability: May be repeated for credit one time. Grade Mode: Normal, Audit College Restrictions: School of Comp & Cyber Science Course Level Restrictions: Graduate Semester Schedule Type (Primary): Lecture Schedule Type (Additional): Asynchronous Instruction Click here for the Schedule of Classes.