Разница между аксиоматической и операционной семантикой в программировании заключается в следующем:

1. Аксиоматическая семантика использует логические утверждения для описания свойств программ. 4 Семантику каждой синтаксической конструкции языка определяют как набор аксиом или правил вывода, который используют для вывода результатов выполнения этой конструкции. 13 Этот подход полезен для формального доказательства корректности программ. 4
2. Операционная семантика описывает поведение программ в терминах выполнения шагов. 4 Это позволяет более наглядно представить, как программа будет выполняться на практике. 4 В операционной семантике смысл программы определяют путём выполнения её операторов на простой машине-автомате. 3 Изменения, происходящие в состоянии машины при выполнении оператора, и определяют смысл этого оператора. 3