Topics in Programming Languages & Systems
|Location:||Online / Synchronous|
|Meeting Time:||B hr: MWF 9:00-9:50 AM|
|Exam Group:||02: 22-APR-2021 Exam Time: 02:00:00 PM|
|Offered this year?||Yes|
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.