Java Reference
In-Depth Information
i
←
1
i
1
←
1
1
1
j
←
1
j
1
←
1
k
←
1
k
1
←
1
l
←
1
l
1
←
1
repeat
i
←φ
repeat
i
2
2
2
(
i
,
i
)
j
←φ
←φ
(
i
3
,
i
1
)
(
j
,
j
)
k
←φ
j
2
←φ
(
j
4
,
j
1
)
(
k
,
k
)
k
2
←φ
(
k
5
,
k
1
)
l
←φ
(
l
,
l
)
l
2
←φ
(
l
9
,
l
1
)
if
p
then
if
p
then
j
←
i
if
q
then
←
i
2
if
q
then
j
3
3
3
l
←
2
l
3
←
2
4
4
else
else
l
←
3
←
3
l
4
5
5
l
←φ
(
l
,
l
)
k
←
k
+
l
5
←φ
(
l
3
,
l
4
)
6
6
1
k
3
←
k
2
+
1
else
else
k
←
k
+
2
k
4
←
k
2
+
2
7
7
(
j
,
j
)
k
←φ
j
←φ
j
4
←φ
(
j
3
,
j
2
)
8
8
(
k
,
k
)
k
5
←φ
(
k
3
,
k
4
)
l
←φ
(
l
,
l
)
l
6
←φ
(
l
2
,
l
5
)
call
print
(
i
,
j
,
k
,
l
)
call
print
(
i
2
,
j
4
,
k
5
,
l
6
)
repeat
l
←φ
repeat
l
7
9
9
(
l
,
l
)
←φ
(
l
9
,
l
6
)
if
r
then
if
r
then
l
←
l
+
4
l
8
←
l
7
+
4
10
10
l
←φ
(
l
,
l
)
l
9
←φ
(
l
8
,
l
7
)
11
11
until
s
until
s
i
←
i
+
6
i
3
←
i
2
+
6
12
12
until
t
until
t
(a)
(b)
Figure 14.68: (a) Program with
φ
-functions and (b) variables renamed.