Sémantique axiomatique

Définition - Que signifie la sémantique axiomatique?

La sémantique axiomatique est une expression sémantique des relations inhérentes à un morceau de code. Ces expressions peuvent être utiles pour décrire le fonctionnement de certains logiciels.

Definir Tech explique la sémantique axiomatique

Une chose intéressante à propos de la sémantique axiomatique par rapport à d'autres types d'expressions est qu'elle est assez indépendante des résultats et des conditions spécifiques. La sémantique axiomatique décrit plutôt le fonctionnement d'un système. Une façon de penser à cela consiste à utiliser le mot racine, axiome, qui implique un truisme plus large sur un système. Par exemple, une déclaration sémantique axiomatique sur une certaine fonction décrirait ce qu'elle est censée faire, quel type d'argument elle prend et quel type de résultat elle renvoie. Cela n'exigerait pas la connaissance des variables réelles impliquées.