Advanced Programming Languages

4 credits · College of Engineering catalogue

Advisory Prerequisite: EECS 281 or equivalent. Enforced Prerequisite: None. (4 credits) Fundamental concepts in Programming Languages (PL) as well as recent topics and trends in PL research. Topics include semantics, type systems, program verification using theorem provers, software model checking, and program analysis. Course focuses on applying PL concepts to improve software reliability. Course includes a semester-long individual research project.