CSCI2950-X
(Formerly
CS296-1
)
Topics in Programming Languages & Systems
| Offered This Year? |
No
|
| When Offered? |
Most Years
|
Description
Examines contemporary research topics in software construction from the perspectives of programming languages, software engi¬neering 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.
|
Page Owner: webmaster
|
Last Modified: Fri Jun 13 12:09:52 2008
|
