Go backward to Summary (Semantics I)
Go up to Top
Go forward to Summary (Semantics III)
Summary (Semantics II)
- Declaration
-
[[ |- define I=U: {I:}dec]] =
({I=}, )
where = [[ |- U:]] and U in{E,
T, C}
-
[[ |- D;D: ( U )dec]]
=
( union , )
where (, ) = [[ |- D: dec]]
and (, ) = [[ U |- D:
dec]] ( union )
-
[[ |- fun I=E: {I:exp}]] =
{I=}
where = [[ |- E: exp]]
-
[[ |- const I=N: {I:int}]] =
{I=[[ |- N: int]] }.
- [[ |- proc I=C: {I:comm}dec]]
= {I=},
where = [[ |- C: comm]] .
-
[[ |-var I:T: {I:}dec]] =
({I=}, )
where (, ) = [[ |- T: class]] .
-
[[ |-class I=T: {I:class}dec]]
= {I=},
where = [[ |- T: class]] .
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction2.tex,v 1.1 1996/04/10 07:30:13 schreine Exp schreine