CSCI2950-X

(Formerly CS296-1 )

Topics in Programming Languages & Systems

Instructor(s):

Course Home Page:

http://www.cs.brown.edu/courses/csci2950-x/

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.

Edit this page