SÉMANTIQUE AXIOMATIQUE, programmation informatique

Article

• PROGRAMMATION

  • Écrit par Jean-François MONIN
  • 7 691 mots
  ...langage : il est démontré une fois pour toutes, par induction structurelle sur la syntaxe abstraite, que tout programme satisfait ces règles de déduction. Elles forment ce qu'on appelle la sémantique axiomatique. Les travaux pionniers dans ce domaine sont dus à Robert W. Floyd (1936-2001) et sir Charles...