» Overview: What PAG/WWW is about

» The WHILE programming language, its syntax and semantics
» How to build your own analysis
» A formal description of the analysis specification language
» Interpreting analysis results
» Known problems
» Exercises

» Theoretical background
» The PAG implementation of the fixed point algorithm
» An illustrative example with step-by-step explanations

» Publications about PAG
» The book on Principles of Program Analysis
   (where the WHILE language and other examples come from)
» The hardware for this server is sponsored by