CS 522 - Programming Language Semantics

Spring 2024

TitleRubricSectionCRNTypeHoursTimesDaysLocationInstructor
Programming Language SemanticsCS522R39590LCD41100 - 1215 T R  2018 Campus Instructional Facility Grigore Rosu

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