Chapitre 4 Programmation impérative. Aspects impératifs de Caml .

a0· · · an−1a0=an−1a1=an−2
a0· · · an−1
a0=an−1a1· · · an−2

V= (v0;v1;· · · ;vn)
0n T V V T =
(vj;vj+1;· · · ;vk) 0 6j6k6n
T=V(j..k)E V
T=V(j..k)V S(T)
S(T) = vj+vj+1 +· · · +vk
T V
T=V(d..f) = min{S(t), t ∈E}
V S(T)
T
n
0i
0i d f
smin i
k s
i i →i+ 1
i
T
V d f
T smin =S(T)
n

n
n