La sémantique axiomatique utilise des pré/postconditions pour prouver la correction des programmes. Découvrez les triplets de Hoare, les invariants de boucle et les applications pratiques.
L7) Sémantique dénotationnelle
La sémantique dénotationnelle interprète les programmes comme des fonctions mathématiques. Découvrez cette approche puissante pour analyser, prouver et optimiser le comportement de vos codes.