# Basic Concepts

TODO: Add overview

* [Translation overview](basics-translation-overview.md)
* [Program Execution](basics-program-execution.md)
* [Execution Divergence and Reconvergence](basics-execution-divergence-reconvergence.md)
* [Memory Model](basics-memory-model.md)
* [Program Behavior](basics-behavior.md)
