Denotational definition of properties of programs computations
Résumé
We présent a denotationalmachine-checkeddéfinition of propertiesassociated to programs compu-
tatiohs. This format définition, independent of any algorithm, is used to prove a consistency relation
between properties and computations.
Ce rapport présente une définition dénotationnelle de propriétés associées au comportement des
programmes. Cette définition testée par machine et indépendante de tout algorithme utilisé pour
le calcul de ces propriétés permet de prouver une relation de cohérence liant ces propriétés aux
exécutions des programmes.
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
