Phases

..Phase 1 - foundations of program specification and semantics Phase 10 - concurrency & parallelism models Phase 11 - metaprogramming & extensibility Phase 2 - formal language theory & parsing Phase 3 - computability, complexity & decidability Phase 4 - type systems & static verification Phase 5 - program logics & verification Phase 6 - intermediate representations (IR) & compiler design Phase 7 - code generation & runtime systems Phase 8 - program analysis & optimization Phase 9 - language implementation techniques (practical)