CPSC 631

Abstract Machines ((3 Units))

University of Akron · UGRD · Fall 2026

1 section

Catalog description

Prerequisite: Admission to the Computer Science Master's program or instructor permission. The course studies the formal specification of abstract computational devices, representations of programs, static and dynamic semantics, and their implementations. (Formerly 3460:631)

Sections

Current meeting, instructor, credit, and enrollment details

Updated 5 hours ago

001

Availability not recently verified

Class #akron-1654Fall 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?