Operational semantics is a style of formal semantics↑ originally championed by Gordon Plotkin↑. The effect of the execution of the language is described directly rather than by translation.
See also[]
- Wikipedia: Operational semantics
- Wikipedia: Formal semantics of programming languages
- Programming Languages and Operational Semantics: An Introduction by Maribel Fernandez. King's College Publications, 2004. ISBN 0954300637 (order from Amazon USA or Amazon UK).