Introduction To Program Analysis
Date: 2006-03-02 - Introduction to program analysis Time: 11:45 Room: BBL room 471 ----+++ Speaker: [[Main.Jurriaan Hage][Jurriaan Hage]] ----+++ Title: Introduction to program analysis ----+++ Abstract We gently introduce some of the key ideas of program analysis by treating the Reaching Definitions analysis in some detail. An analysis is formulated by generating a list of constraints, and applying an automated procedure to obtain the best solution for these constraints. We consider a number of questions: How we can be sure that the analysis terminates? Does it give a correct answer (and what is 'correct')? Is the answer always the best one possible? This talk can be viewed as a primer for the course Automatic Program Analysis that takes place in Period 4.