Computer Science 263
Title | Design of Programming Languages |
---|---|
Units | 3 |
Prerequisites | 164. |
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. |
Sections | Instructor | Teaching Effectiveness | How worthwhile was this course? |
---|---|---|---|
Fall 2021 | Alvin Cheung | ||
Fall 2019 | Alvin Cheung | ||
Spring 2019 | Koushik Sen | ||
Spring 2014 | George Necula | ||
Fall 2012 | George Necula | ||
Spring 2012 | George Necula | ||
Spring 2010 | George Necula | ||
Spring 2008 | Dana Scott | ||
Spring 2007 | George Necula | ||
Fall 2005 | George Necula | ||
Fall 2003 | George Necula | ||
Fall 2002 | George Necula | ||
Fall 2001 | George Necula | ||
Fall 2000 | George Necula | ||
Spring 1999 | George Necula | ||
Spring 1998 | Alexander Aiken | ||
Spring 1997 | M. Abadi | ||
Spring 1996 | Katherine Yelick | ||
Fall 1994 | Paul Hilfinger | ||
Spring 1994 | Katherine Yelick | ||
Fall 1992 | Katherine Yelick | ||
Fall 1991 | Katherine Yelick | ||
Fall 1989 | Susan L. Graham | ||
Overall Rating | Teaching Effectiveness | How worthwhile was this course? | |