--ret x: jumps to an address stored in
local variable x.
The function object passed to MAPCAR contains a reference to the LET body's
local variable, AVG.
where b denotes a Boolean expression and all Boolean operators are supported, R ([R.sub.1], [R.sub.2]) denotes a sequence, P ([P.sub.1], [P.sub.2]) denotes a property, v denotes a
local variable name, and e denotes an expression.
By Lemma 4.3, [G'.sub.s] [equivalent] [Gamma]([G'.sub.r]) where [Gamma] is the the
local variable correcting renaming for [tree.sub.P](<[g.sub.2], [c.sub.1]>) and [tree.sub.P] (<[g.sub.2], c>).
This is because all control transfers in CPS are realized as function calls; at any program point, a
local variable that is no longer live cannot be free in the current continuation, and vice versa.
f[y] :[F.sub.pc][y] requires that the
local variable contents match the types in F.
L-VS:
local variable selection; SIMCA: soft independent modelling of class analogy.
Values measured by the transducers and
local variable values follow in a predefined order; for the sake of readability we use a made-up variable name (sensorMeasurements) to stand for Voltage, EnvLight, Nighttime, PresenceStable, Presence, and LightLamp.
The property declaration syntax with a
local variable can be illustrated as follows:
The building air-handling units reset the supply air temperature based on building load, while
local variable air volume terminal units modulate airflow rates for temperature control.