scrambled
Thoughts
Journeys
Sign in
Sign in
← back to phases
Kitchen
/
Journeys
/
Programming Language Theory
/
Phase 5 - Program logics & verification
on-hold
No content yet.
← Previous phase
Phase 4 - Type systems & static verification
Next phase →
Phase 6 - Intermediate representations (IR) & compiler design