2. Judgments and domains🔗

Core C++ has three semantic components and four judgments. The typing context \Gamma maps identifiers to types. The environment \rho maps identifiers to locations \ell. The store \sigma maps locations to values, and its domain is the set of live locations.

The notation is the sequent style of Kahn (1987). Hypotheses stand left of \vdash, the subject right of it, and the result after \Rightarrow.

1. 2.1. Domains
2. 2.2. Static judgments
3. 2.3. Dynamic judgments