Catalog Description: Selected topics from: analysis, comparison, and design of programming languages, formal description of syntax and semantics, advanced programming techniques, structured programming, debugging, verification of programs and compilers, and proofs of correctness.
Units: 3.0
Prerequisites: COMPSCI 164
Formats:
Fall: 3 hours of lecture and 1 hour of discussion per week
Spring: 3 hours of lecture and 1 hour of discussion per week
Grading basis: letter
Final exam status: No final exam
Class Schedule (Fall 2021):
Mo 2:00PM - 3:29PM, Soda 320 –
Alvin Cheung
Fall 2019 class homepage on bCourses
Related Areas: