CMPSC 260
Advanced Topics in Program Analysis
Theoretical aspects of translation. Topics include: data flow analysis; control flow analysis; interprocedural analysis; optimization; type systems.
Topics
- data flow analysis
- control flow analysis
- interprocedural analysis
- optimization
- type systems
Topics explicitly listed in official catalogue description
Sources
- Course catalogue ↗2026-2027