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

Операционная семантика (англ. operational semantics) используется для синтаксических понятий языка. 24 В ней функции рассматриваются как текстуально правильно построенные определения, обеспечивающие применение к аргументу, а не как функции в математическом понимании этого термина. 24

Трансформационная семантика (семантика трансформации) — это описание операционной семантики языковых конструкций в обозначениях самого этого языка. 12 Этот тип семантики выступает главной составляющей метапрограммирования. 1

Таким образом, операционная семантика фокусируется на синтаксических терминах языка, а трансформационная — на описании конструкций в терминах конкретного языка программирования.