Continuation of Lecture 10

Outline:

• Control-Flow Graphs in Scala
• Translating While Language to CFG
• Lattices in Scala
• Sign Analysis

Sources:

• DiGraphs.scala
• SimpleCFG.scala
• SimpleAST.scala
• SimpleTranslate.scala

• Lattices.scala
• DataFlowAnalysis.scala
• SignAnalysis.scala

Continued in Lecture 12