COMS W4117
Compilers and Translators:
Software Verification Tools
Lecture 4: Flow Graphs
September 13, 2007

Lecture Outline

  1. Review
  2. Flow graphs and their representation
  3. Loops
  4. Introduction to code optimization
  5. Exercise
  6. Reading

1. Review

  1. Mathematical logic and proofs
  2. Compiler phases
  3. Reading

2. Flow Graphs



3. Loops



4. Introduction to code optimization



5. Exercise: construct a flow graph for the following code sequence:



6. Reading


aho@cs.columbia.edu