CSE 239B. Topics/Seminar in Programming Languages (1–2 units)
Link to catalog page: https://catalog.ucsd.edu/courses/CSE.html#cse239b
Description
Discussion on problems of current research interest in programming languages, formal methods, and software engineering. Possible areas of focus include program verification, program synthesis, language design and implementation, developer productivity tools, language-based security. Topics to be presented by faculty and students under faculty direction. Topics vary from quarter to quarter. May be taken for credit up to eighteen times for a maximum of eighteen units. Prerequisites: consent of instructor.
Prerequisite courses
CSE 239B has no prerequisite courses.
Successor courses
No courses have CSE 239B as a prerequisite.