Please see the topics for an overview of this course.
Introduction to Programming Language Theory
CS258
Course Description
Topics Include
- Syntactic, operational, and semantic issues in the mathematical analysis of programming languages.
- Type systems and non-context-free syntax.
- Universal algebra and algebraic data types.
- Operational semantics given by rewrite rules.
- Confluence and termination.
- Denotational semantics and elementary domain theory for languages with higher-type functions and recursion.
- Treatment of side effects.
Prerequisite(s)
CS 154, CS 157, or PHIL 160A.
Thank you for your interest in this course. We regret that the course you selected is not currently open for enrollment. Please submit a
Course Inquiry
so that we may notify you when enrollment opens.