appendix sectionnotation

Abstract domains, paths, and machine abstraction

notation	meaning	owner
notation	meaning	owner
$α ⊣ γ$ , $⊑$	Galois connection and abstract-domain precision order	chapter 25
${post}^{♯} (c, A)$ , ${err}^{♯} (c, A)$	terminal abstract store and possible-error flag	chapter 25
$A \nabla B$ , $D_{u v}$	interval widening and the DBM bound for $u - v$	chapter 25
$Borrow (m, p, n)$	Move rooted-path borrow edge from $m . p$ to $n$	chapter 25
$α (ς) ⊑ \hat{ς}$	concrete-to-abstract machine-state representation	chapter 25
${lowerBd}_{P}^{T}$ , ${upperBd}_{P}^{T}$	unnormalized interval-trace measure bounds	chapter 25