CS 522
CS 522 - Programming Language Semantics
Spring 2024
Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
---|---|---|---|---|---|---|---|---|---|
Programming Language Semantics | CS522 | R | 39590 | LCD | 4 | 1100 - 1215 | T R | 2018 Campus Instructional Facility | Grigore Rosu |
See full schedule from Course Explorer
Official Description
Theory of programming languages including functional programming, meta-circular interpreters, typed, untyped and polymorphic lambda-calculi, and denotational semantics. Course Information: Prerequisite: CS 422 and CS 426.
Subject Area
- Software Systems