TD 0 : Logique de Hoare - LaBRI
Considérons le programme suivant (a et b sont des entiers) : Prog4 (a, b) : entier. Debut res ? 0 ;. Si (a < 0) x ? -a ; sinon x ? a ;.
Considérons le programme suivant (a et b sont des entiers) : Prog4 (a, b) : entier. Debut res ? 0 ;. Si (a < 0) x ? -a ; sinon x ? a ;.