On this page:
CMSC631:   Program Analysis and Understanding

CMSC631: Program Analysis and Understanding

Fall, 2015

The course has two objectives. The first one is to introduce students to the complementary research areas of programming languages and program analysis. As such it covers basic theoretical ideas and practical techniques for modeling and analyzing programming languages; and leveraging those techniques to mechanically reason about programs. The second one is to expose students to the basic principles of research processes in computer science: how to ask/articulate questions and how to recognize elements of solutions.