# 1


if 0 then
   1  if 1 = 0 then 0 else 1 fi
else {
    0 <- 1
    1
}
fi

резултат
аргумент * 3
контролна връзка
обратен адрес
временна * 1

4 * 7 = 28

if flag then {
	if =0 then a
	else b
}
else {
	...
}

if a then b else c

beq a
label-true:
label-false:
end-if:


# 2

d?

# 5


 { y, z, i, j }
 1. k := i + j
 { y, z, k }
 2. x := k * 10
 { y, z, x }
 3. if x > z goto line 7
 { y, z }
 4. x := z - y
 { y, x, j }
 5. f := x * j
 6. goto line 10
 { x, y, f, j }
 7. x := y + 1
 { x, y, f, j }
 8. i := j
 { x, y, f, j }
 9. j := j + 2
 { x, y, f }
10. y := f * 2
 { x, y }
11. a := x + y
 { x, y }
12. if x = 0 goto line 7

# 6


нека O е типовата среда: функция от имена на променливи към техните типове
M(T, f) = (T 1 , T 2 , …, T n , T n+1) означава, за обект от тип T може да се извика метод f с


● O: типизира обектите
● M: типизира методите
● C: класа в който се намира изразът