La semántica perdida

Después de echarle un vistazo a la Wikipedia en su página sobre las semánticas formales, me queda la duda de otro tipo de semántica que no aparece. Quizás no se considere semántica, quizás nadie la haya visto como una semántica.

Si no me equivoco, la semántica operacional lo que hace es emular una máquina virtual que va evolucionando conforme el programa se ejecuta. La semántica denotacional le da un valor a cada elemento del lenguaje de forma que establece relaciones matemáticas entre ellos. Finalmente, la semántica axiomática establece asertos y valores de verdad que cada instrucción cumple, forma en la que se define el funcionamiento del programa.

Ahora bien, si ya tenemos un lenguaje con una semántica conocida, podríamos dar la semántica de otro lenguaje transformándolo en el lenguaje de semántica conocida.

Por ejemplo, si se introduce la sentencia

a += b

La semántica se podría especificar diciendo que la sentencia anterior es igual a

a = a + b

Claro que podría ser que esto ya fuera una de las semánticas de antes, la verdad, no lo sé.