Topics in Programming Languages & Systems
|Location:||Online / Synchronous|
|Meeting Time:||I hr: T,Th 10:30-11: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.