2. Logique de Hoare
La logique de Hoare concerne les propriétés axiomatiques des langages de programmation et les technologies qui y sont associées pour raisonner sur les programmes en vue de démontrer leur bon fonctionnement. Ces propriétés sont définies à partir des constructions syntaxiques du langage, comme pour les propriétés de typage et les propriétés comportementales. On rappelle donc, dans cette partie la grammaire du langage « L » avec ses propriétés de typage et ses propriétés comportementales
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Logique de Hoare
Processus IDM. Diagramme d'activité UML et SAM
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
