Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Introduction To Program Analysis
Stc
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.