CMSC631
Program Analysis and Understanding
Prerequisite: CMSC330; or students who have taken courses with comparable content may contact the department; or permission of instructor. Techniques for static analysis of source code and modern programming paradigms. Analysis techniques: data flow analysis, program dependence graphs, program slicing, abstract interpretation. The meaning of programs: denotational semantics, partial evaluation. Advanced treatment of abstraction mechanisms: polymorphic types, operation overloading, inheritance, object-oriented programming and ML-like programming languages.
Fall 2024
4 reviews
Average rating:
4.75
Fall 2023
4 reviews
Average rating:
4.75
Past Semesters
20 reviews
Average rating:
3.90
11 reviews
Average rating:
4.09
0 reviews
Average rating:
N/A
4 reviews
Average rating:
4.75
4 reviews
Average rating:
4.75