Graduate Computer Science

CS G264: Semantics of Programming Languages

Studies mathematical models for the behavior of programming languages. Operational, denotational, and equational specifications. Lambda-calculi and their properties. Applications of these techniques, such as rapid prototyping and correctness of program optimizations.
Prerequisites:
CS G111/CS G711 and discrete mathematics MS: PL Ph.D.: PL
Credit hours: 4