Go to Main Content

Brown University



Detailed Course Information


Spring 2017
May 30, 2020
Transparent Image
  Select the desired Level or Schedule Type to find available classes for the course.

CSCI 2950X - Topics in Programming Languages and Systems
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. Topics include security, modularity, and new paradigms in software composition. Prerequisite: CSCI 1730 or written permission of the instructor.
1.000 Credit hours
1.000 Lecture hours

Levels: Graduate, Undergraduate
Schedule Types: Primary Meeting

Computer Science Department

Return to Previous New Search
Transparent Image
Skip to top of page