Go backward to ExtentGo up to TopGo forward to Escaping Locations |

- Answer produced by block contains location:
**begin proc**`P`=

**begin var**`A`:**newint**;

**proc**`Q`(`X`:`intexp`) =`A`:=`X`**in**`Q`**end****in**(**call**`P`)(2)**end**- Answer of
`P`is parameterized procedure. `P`:`intexp`*->*`comm`!

- Location of
`A`escapes`P``A`bound to`loc`._{i}- Answer of
`P`is procedure*q*that updates`loc`._{i} *q**v**s*= [[`mypi`-U- {`A`:`intloc`,`X`:`intexp`} |-`A`:=`X`:`comm`]]

(*e*-U- {`A`=`loc`,_{i}`X`=`v`})*s*

=`update`(`loc`,_{i}*v*,*s*)

- Current typing system prevents this!

*Escaping locations must not be freed!*

Author: Wolfgang Schreiner

Last Modification: May 14, 1998