Author here. Operational semantics are a way of "talking about" a programming la...

aappleby on Nov 28, 2022 | parent | context | favorite | on: Temporal Programming, a new name for an old paradi...

Author here. Operational semantics are a way of "talking about" a programming language, whereas temporal programming is a way of expressing operational semantics more directly from within a programming language.