SÉMANTIQUE AXIOMATIQUE, programmation informatique

PROGRAMMATION

  • Écrit par 
  • Jean-François MONIN
  •  • 7 691 mots

Dans le chapitre « Sémantique axiomatique »  : […] En pratique, il n'est pas question de construire le modèle mathématique de chaque programme qui se présente. Celui-ci nous est donné de manière systématique à partir de la sémantique formelle du langage de programmation , par récurrence structurelle sur les arbres de syntaxe abstraits. On va même bien plus loin. On ne raisonne pas directement sur la sémantique opérationnelle d'un programme particu […] […] Lire la suite