Topics in Programming Languages & Systems
- Course Home Page:
|Meeting Time:||N: Wed 3:00-5:20|
|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.