University of Vermont

UVM Course Directory

Term: All Terms

Subject: Computer Science

Course Number: 225

CS 225 - QR: Programming Languages

The principles of programming language design and fundamental implementation concepts. Syntax, semantics, and static program analysis for various paradigms. Programming language metatheory, including confluence and type safety. Stack-based implementation and memory management issues. Prerequisites: CS 124, CS 125.