Algo L3 Info Travaux dirigés, séance 4.1 Correction et ... - Verimag
return c. 2 Logique de Hoare. On rappelle les r`egles de la logique de Hoare : {P}
I {Q}. {Q} J {R}. {P} I; J {R}. {P ? C} I {Q}. {P ? ¬C} J {Q}. {P} if C then I else J {Q}.
return c. 2 Logique de Hoare. On rappelle les r`egles de la logique de Hoare : {P}
I {Q}. {Q} J {R}. {P} I; J {R}. {P ? C} I {Q}. {P ? ¬C} J {Q}. {P} if C then I else J {Q}.