(Formerly CS296-1)

Topics in Programming Languages & Systems

Course Home Page:
Meeting Time:N: Wed 3:00-5:20
Exam Group:14
Semester:2 (Spring)
Offered this year?No
When Offered?Most years


Examines contemporary research topics in software construction from the perspectives of programming languages, software engineering and computer-aided verification. The primary goals are to understand which theory applies to which problems and to convert that theory into tools. Prerequisite: CSCI1730 or written permission of instructor.

CRN: None