Go backward to Store Algebra
Go up to Top
Go forward to Scope
Semantics of Command Block
- Semantics:
-
[[pi |- begin D in C end: comm]]
=
free (size-of )
where (, ) = [[pi |- D: pidec]]
and = [[pi -U- pi |- C: comm]](
-U- )
- Stack-based store management:
- Stack pointer recorded at block entry.
- D allocates locations for C.
- Storage reduced to initial size at block exit.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: qualification.tex,v 1.2 1996/05/02 11:53:49 schreine Exp schreine