Introduction
Notation
Lexical structure
Macros
1. Macros By Example
2. Procedural Macros
Crates and source files
Conditional compilation
Items
Attributes
Statements and expressions
Patterns
Type system
Special types and traits
Names
Memory model
1. Memory allocation and lifetime
2. Variables
Linkage
Inline assembly
Unsafety
Constant Evaluation
Application Binary Interface
The Rust runtime
Appendices

The Rust Reference

Memory model

Rust does not yet have a defined memory model. Various academics and industry professionals are working on various proposals, but for now, this is an under-defined place in the language.