appendix sectionnotation

Mutable value access

symbol	meaning	first
symbol	meaning	first
$π; η$	Swiftlet pointer store and nonempty frame stack	chapter 49
$acc (π, ℓ)$	representation locations accessible from root $ℓ$	definition 49.1
$& r ⪯ & r^{'}$	published Swiftlet access-relatedness relation	section 49.2
$a ⋈_{B} a^{'}$	book conservative access-conflict relation	definition 49.4
${exclusive}_{B} (a_{1}, \dots, a_{k})$	pairwise conservative exclusivity test for one call	section 49.3
$stable (u), apart (u, v)$	literal-index stability and first-child separation tests	definition 49.4
$Δ; Γ ⊢_{path} r : m τ$	Swiftlet qualified path typing	section 49.1
$Δ; Γ ⊢_{\arg} a : p$	Swiftlet argument typing	section 49.3
$Δ ⊢ π; η : Γ$	Swiftlet memory and frame-stack typing	definition 49.8
$⟶, ⟶_{lv}$	Swiftlet expression and lvalue-path steps	section 49.3
$\| v \|_{Δ}^{π}$	pointer-store value readback to the natural semantics	theorem 49.11