Domain equations (Revised7.0 Report on the Algorithmic Language Scheme (Unofficial))

Next: Semantic functions, Previous: Abstract syntax, Up: Formal semantics [Contents][Index]

7.2.2 Domain equations ¶

 $\begin{array}{l} α & \in & L & locations \\ ν & \in & N & natural numbers \\ T & = & {false, true} & booleans \\ Q & symbols \\ H & characters \\ R & numbers \\ E_{p} & = & L \times L \times T & pairs \\ E_{v} & = & L^{*} \times T & vectors \\ E_{s} & = & L^{*} \times T & strings \\ M & = & {false, true, null, undefined, unspecified} & miscellaneous \\ ϕ & \in & F & = & L \times (E^{*} \to P \to K \to C) \\ ϵ & \in & E & = & Q + H + R + E_{p} + E_{v} + E_{s} + M + F & expressed values \\ σ & \in & S & = & L \to (E \times T) & stores \\ ρ & \in & U & = & Ide \to L & environments \\ θ & \in & C & = & S \to A & command conts \\ κ & \in & K & = & E^{*} \to C & expression conts \\ A & answers \\ X & errors \\ ω & \in & P & = & (F \times F \times P) + {root} & dynamic points \end{array}$