suivant:
Introduction
monter:
Notes de cours Java
précédent:
Syntaxe
Table des matières
Programmer avec des invariants
Sous-sections
Introduction
Exemple du pgcd
Invariants
Programmation, preuve et documentation
Sémantique opérationnelle
Correction partielle et logique de Hoare
Règles
Validité
Exemple
Terminaison
Plus faible pré-condition, plus forte post-condition
Hugues FAUCONNIER 2003-01-09
