Go backward to Summary (Semantics IV)
Go up to Top
Go forward to Summary (Semantics VI)
Summary (Semantics V)
- Expression
-
[[ |- N: intexp]] = [[ |- N:
int]]
-
[[ |- @L: intexp]] =
lookup([[ |-L: intloc]], )
-
[[ |- E+E: intexp]] =
plus(
[[ |- E: intexp]] , [[
|- E: intexp]] )
-
[[ |- E=E: boolexp]] =
equal(
[[ |- E: intexp]] , [[ |- E:
intexp]] )
-
[[ |- not E: boolexp]] =
not([[ |- E: boolexp]] )
- [[ |- X: exp]] = ()
where = [[ |-X: expm]]
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction2.tex,v 1.1 1996/04/10 07:30:13 schreine Exp schreine