SÉMANTIQUE FORMELLE, programmation informatique

Ce sujet est traité dans les articles suivants :

1.  PROGRAMMATION

Écrit par : Jean-François MONIN

Dans le chapitre "Sémantique formelle et vérification"  : … Cette syntaxe formelle est le point d'appui de toute analyse. Mais cela ne suffit pas : *il faut définir mathématiquement ce que calcule ce programme, ce qu'on appelle sa sémantique formelle. Plusieurs approches existent, nous présentons ici l'idée de la sémantique opérationnelle. Pour raisonner sur les étapes… Lire la suite