CS 565: Programming Languages, Spring 2008
Class description
This class is on programming languages and their semantics. We will focus on the foundations of languages and their features.
Advisor
Teaching Assistant
Schedule
Tue & Thu 4:30-5:45pm LWSN 1106
Lecture 3: Operational Semantics
Lecture 4: Natural and Contextual Semantics
Lecture 5: Intro to Lambda Calculus
Lecture 6: Continuations and Evaluation Contexts
Lecture 7: Intro to Denotational Semantics
Lecture 9: Axiomatic Semantics
Lecture 10: Lambda Calculus Fixpoints and Naming
Lecture 11: Simply Typed Lambda Calculus
Lecture 12: Featherweight Java
Lecture 14: References and Exceptions
Lecture 16: Object-Oriented Programming