Nuprl Definition : C_LVALUEco
C_LVALUEco() ==
corec(X.lbl:Atom × if lbl =a "Ground" then C_LOCATION()
if lbl =a "Index" then lval:X × ℤ
if lbl =a "Scomp" then lval:X × Atom
else Void
fi )
Definitions occuring in Statement :
C_LOCATION: C_LOCATION(),
corec: corec(T.F[T]),
ifthenelse: if b then t else f fi ,
eq_atom: x =a y,
product: x:A × B[x],
int: ℤ,
token: "$token",
atom: Atom,
void: Void
FDL editor aliases :
C_LVALUEco
Latex:
C\_LVALUEco() ==
corec(X.lbl:Atom \mtimes{} if lbl =a "Ground" then C\_LOCATION()
if lbl =a "Index" then lval:X \mtimes{} \mBbbZ{}
if lbl =a "Scomp" then lval:X \mtimes{} Atom
else Void
fi )
Date html generated:
2016_05_16-AM-08_46_27
Last ObjectModification:
2014_05_05-PM-02_49_54
Theory : C-semantics
Home
Index