3 ms·
Author here. Operational semantics are a way of "talking about" a programming language, whereas temporal programming is a way of expressing operational semantic
by aappleby 4y ago
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.