SÉMANTIQUE FORMELLE, programmation informatique

Article

• PROGRAMMATION

  • Écrit par Jean-François MONIN
  • 7 691 mots
  ...ordinateur via la compilation vers des instructions machine. 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...