CS 421
CS 421 - Progrmg Languages & Compilers
Spring 2025
Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
---|---|---|---|---|---|---|---|---|---|
Progrmg Languages & Compilers | CS421 | B3 | 31375 | LCD | 3 | 0930 - 1045 | T R | 0027/1025 Campus Instructional Facility | Mattox Beckman |
Progrmg Languages & Compilers | CS421 | B4 | 31376 | LCD | 3 | 0930 - 1045 | T R | 0027/1025 Campus Instructional Facility | Mattox Beckman |
Progrmg Languages & Compilers | CS421 | CSP | 68231 | PKG | 3 | 1530 - 1645 | R | ARR Illini Center | Mattox Beckman |
Progrmg Languages & Compilers | CS421 | CSP | 68231 | PKG | 3 | - | Mattox Beckman | ||
Progrmg Languages & Compilers | CS421 | MC3 | 63756 | PKG | 3 | 1530 - 1645 | F | ARR Illini Center | Mattox Beckman |
Progrmg Languages & Compilers | CS421 | MC3 | 63756 | PKG | 3 | - | Mattox Beckman | ||
Progrmg Languages & Compilers | CS421 | MC4 | 63757 | PKG | 4 | - | Mattox Beckman | ||
Progrmg Languages & Compilers | CS421 | MC4 | 63757 | PKG | 4 | 1530 - 1645 | F | ARR Illini Center | Mattox Beckman |
See full schedule from Course Explorer
Official Description
Course Director
Text(s)
Varies by semester.
Learning Goals
Learn to program in a functional programming language (2)
Understand the evaluation of programs in a functional programming laguage (1), (2), (6)
Be able to write a type checker / type inferencer given a formal type system (1), (2), (6)
Be able to write a lexer, and a parser using recursive-descent parsing, or a parser-generator. (1), (2), (6)
Program translation: be able to write a syntax-directed translator from abstract syntax to intermediate representations (1), (2), (6)
Recognize and use major methods of specification of dynamic semantics (1), (2), (6)
Write a interpreter based on a formal operational semantics of the language (1), (2), (6)
Topic List
Functional Programming
Lexing and Parsing
Typing and Type Systems
Program Translation
Specifcation Techniques for Dynamic Semantics
Required, Elective, or Selected Elective
Required.