Sémantique Axiomatique ou Logique de Hoare - Ensiie
Sémantique Axiomatique ou Logique de Hoare - Ensiie
Sémantique Axiomatique ou Logique de Hoare - Ensiie
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Dans la suite, n<strong>ou</strong>s considérerons la correction partielle<br />
P<strong>ou</strong>rquoi ne pas insister sur la terminaison ?<br />
Dans certains on ne veut pas la terminaison<br />
On simplifie le raisonnement<br />
Si nécessaire, on peut pr<strong>ou</strong>ver la terminaison séparément.<br />
(ENSIIE) <strong>Hoare</strong> 6 / 52