CS 263. Design of Programming Languages

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: 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 2019):
Mo 3:00PM - 4:29PM, Soda 405 ; Fr 3:00PM - 4:29PM, Soda 320 – Alvin Cheung

Fall 2019 class homepage on bCourses

Class homepage on inst.eecs

General Catalog listing

Related Areas: