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