CPSC 630

Advanced Theory of Programming Languages ((3 Units))

University of Akron · UGRD · Fall 2026

1 section

Catalog description

Prerequisite: admission to Computer Science Master's Program or permission. In-depth study of various issues in the design and implementation of programming languages, such as formal type systems, operational and other semantics, and verification. (Formerly 3460:630)

Sections

Current meeting, instructor, credit, and enrollment details

Updated 7 hours ago

001

Availability not recently verified

Class #akron-1653Fall 2026UGRD

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?