Advanced Topics in Program Analysis

Number: 
CMPSC 260
Level: 
Graduate
Units: 
4

Description

Prerequisite: Computer Science 160 and 162.
Theoretical aspects of translation. Topics include: data flow analysis; control flow analysis; interprocedural analysis; optimization; type systems.