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.