Flashcards: Introduction à l'Algorithmique et Vérification — 10 cartões

Logique de Hoare — triplet ?

(P, A, P′) ; relations pré/post

Programmation impérative — éléments clés?

Variables, types, instructions, structures de contrôle.

Invariant — rôle ?

Assertion stable lors des boucles

Logique de Hoare — rôle?

Prouve correction via triplets pré/invariants.

Terminaison — preuve ?

Quantité de contrôle, suite monotone et bornée

Preuve de terminaison — bases?

Quantités, suites monotones, bornées.

Invariants — importance?

Assurent correction partielle des boucles.

Norme C23 — définit?

Types, opérateurs, conversions, gestion erreurs.

Étapes compilation — de quoi?

Prétraitement, compilation, assemblage, lien.

Types en C — base?

Entiers, flottants, caractères, pointeurs, énumérés.