by Graham on January 19, 2007.
Tagged as: Lunches.
Suppose you are interested in the semantics of effects, such as state, input/output, non-determinism, exceptions, etc. Suppose further that you are interested in small-step operational semantics of effects. Is there a systematic way to determine what the “observations” should be in such semantics, i.e. the actions that label the transitions?