Phases

• Phase 1 - Foundations of program specification and semanticsactive
  104 concepts22 books
• Phase 2 - Formal language theory & parsingon-hold
• Phase 3 - Computability, complexity & decidabilityon-hold
• Phase 4 - Type systems & static verificationon-hold
• Phase 5 - Program logics & verificationon-hold
• Phase 6 - Intermediate representations (IR) & compiler designon-hold
• Phase 7 - Code generation & runtime systemson-hold
• Phase 8 - Program analysis & optimizationon-hold
• Phase 9 - Language implementation techniques (practical)on-hold
• Phase 10 - Concurrency & parallelism modelson-hold
• Phase 11 - Metaprogramming & Extensibilityon-hold