Sémantique Axiomatique ou Logique de Hoare - Ensiie
Sémantique Axiomatique ou Logique de Hoare - Ensiie
Sémantique Axiomatique ou Logique de Hoare - Ensiie
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Sémantique</strong> axiomatique (logique <strong>de</strong> <strong>Hoare</strong>)<br />
P<strong>ou</strong>r les langages impératifs<br />
<strong>Sémantique</strong> orientée vers la preuve <strong>de</strong> programmes<br />
Avec cette métho<strong>de</strong> sémantique, un programme est vu comme un<br />
transformateur <strong>de</strong> propriétés logiques (comme la sémantique <strong>de</strong>s<br />
substitutions généralisées <strong>de</strong> B).<br />
(ENSIIE) <strong>Hoare</strong> 2 / 52