Detailed Course Information |
Fall 2024
Nov 12, 2024 |
|
 |
||
 | Click the Schedule Type to find available offerings of the course on the Schedule of Classes. |
| CS 4392 - Programming Languages |
|
Fundamentals of programming language design and theory. Topics include formal semantics and type systems for imperative, functional, and parallel languages; lambda calculus and its variants; the Curry-Howard Correspondence; techniques for proving language properties and verifying program specifications.
3.000 Credit hours 3.000 Lecture hours Grade Basis: ALP Dept/Computer Science Department Course Attributes: Tech Elect CS, Engr, &Sciences Restrictions: Must be enrolled in one of the following Campuses: Georgia Tech-Atlanta * Prerequisites: Undergraduate Semester level CS 2340 Minimum Grade of C |
| Return to Previous | New Search |
|