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. Lecture Hours: 3 Repeatability: May not be repeated for credit. Grade Mode: Normal, Audit Schedule Type (Primary): Lecture Click here for the Schedule of Classes.