Course Goals
- Understand the fundamental issues in the design of programming languages.
- Become familiar with the different abstraction mechanisms offered by programming languages.
- Become familiar with the styles of main programming paradigms: imperative, functional, logic, and object-oriented programming languages and environments.
- Become familiar with some of the formalisms for programming language description and program verification.
Course Infomation
Instructor: Li Xu
Office Hour: TBD
Meeting Time: Thursday 5:30--8:00pm
Meeting Room: OS402
TA: TBD
TA Office Hours: TBD
Course Materials
About this page:
This page is tested and best viewed using the Firefox browser.