View reviews for professors for this course View On Testudo


Program Analysis and Understanding

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.

7 reviews
Average rating: 4.57

4 reviews
Average rating: 4.25

0 reviews
Average rating: Not yet rated

0 reviews
Average rating: Not yet rated

Average GPA: 3.40 between 150 students

"W"s are considered to be 0.0 quality points. "Other" grades are not factored into the average GPA calculation.