Go backward to Summary (Syntax)
Go up to Top
Go forward to References
Summary (Semantics)
- Command block:
-
[[pi |- begin D in C end: comm]]
=
free (size-of )
where (, ) = [[pi |- D: pidec]]
and = [[pi -U- pi |- C: comm]](
-U- )
- Blocks without storage management:
-
[[pi |-begin D in U end]] =
[[pi -U- pi |- U: theta]]
where (, ) = [[pi |- D: pidec]]
- Copy rule
- begin define I=U, ..., define I=U
in U end
[U/I, ..., U/I]U
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: qualification.tex,v 1.2 1996/05/02 11:53:49 schreine Exp schreine