Denotational Semantics
If the operational semantics can be seen as an interpreter of the source language, then the denotational semantics can be seen as a compiler that transpiles the source language into a “math language.”
If the operational semantics can be seen as an interpreter of the source language, then the denotational semantics can be seen as a compiler that transpiles the source language into a “math language.”