Go backward to
The Qualification Principle
Go up to
Top
Go forward to
Store Algebra
Command Blocks
Typing rule:
pi
1
|- D:
pi
2
dec
pi
1
-U-
pi
2
|- C:
comm
pi
1
|-
begin
D
in
C
end
:
comm
Example:
begin
var
A
:
newint
;
proc
P
=
begin var
C
:
newint
in
C
:=@
A
end
proc
Q
=
begin var
B
:
newint
;
A
:
newint
in
A
:=1;
call
P
end
in
A
:=0;
call
P
;
call
Q
;
end
Local variables:
Only alive within block.
Stack-based storage management.
Author:
Wolfgang Schreiner
Last Modification: May 14, 1998