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

Related Areas:

• Programming Systems (PS)

Prerequisites: COMPSCI 164

Formats:
Fall: 3.0 hours of lecture and 1.0 hours of discussion per week
Spring: 3.0 hours of lecture and 1.0 hours of discussion per week

Grading Basis: letter

Final Exam Status: No final exam

---

Class Schedule (Spring 2026):
CS 263 – TuTh 14:00-15:29, Soda 310 – Max Willsey

Links:

• EECS Course Archives (CalNet authentication required)
• CS enrollment policies
• EE enrollment policies
• HKN course maps