4 ms·
> It's a guess, but I think GP uses "operational" as a synonym for "imperative". Not really. It's also possible to reason non-operationally about imperative pr
by catnaroek 11y ago
> It's a guess, but I think GP uses "operational" as a synonym for "imperative".
Not really. It's also possible to reason non-operationally about imperative programs, e.g., using predicate transformer semantics. It's also possible to reason operationally about non-imperative programs.