CMSC631

Program Analysis and Understanding

Reviews for this course Testudo

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

Leonidas Lampropoulos

6 reviews
Average rating: 4.83

Past Semesters

David Van Horn

27 reviews
Average rating: 3.67

Michael Hicks

11 reviews
Average rating: 4.09

Robert Rand

0 reviews
Average rating: N/A

Leonidas Lampropoulos

6 reviews
Average rating: 4.83

Leonidas Lampropoulos

6 reviews
Average rating: 4.83

Leonidas Lampropoulos

6 reviews
Average rating: 4.83

* "W"s are considered to be 0.0 quality points. "Other" grades are not factored into GPA calculation. Grade data not guaranteed to be correct.