SÉMANTIQUE AXIOMATIQUE, programmation informatique
PROGRAMMATION
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