Like CS 4110 - Programming Languages and Logics, but on steroids. Much more mathematical in nature.
You probably want to know CS 3110 - Data Structures and Functional Programming and like CS 4110 - Programming Languages and Logics
- Inductive proof
- Operational semantics
- Language features and translation
- Axiomatic semantics
- Denotational semantics
- Type systems
(Spring 2011) Not too bad. Six homeworks, a prelim (with in-class and take-home portions), and a final. Homework can be done in groups.
I took CS 3110 - Data Structures and Functional Programming and CS 6110. I feel like this course was “too much information,” and I would have been happy with just CS 4110 - Programming Languages and Logics instead, since some of the proofs were tedious and some of the topics went a bit over my head.
This class was easy but boring.
|Semester||Time||Professor||Median Grade||Course Page|
|Spring 2011||-||Nate Foster||-||http://www.cs.cornell.edu/Courses/cs6110/2011sp/syllabus.php|