1. the definition of a format for representing SSA form 2. the transformation of high-level flybytes to SSA form 3. the transformation of SSA form down to JVM bytecodes