[PRL] structural operational semantics

[William D Clinger]

Paul wrote:
> But, as I said 
> in my response to Will (which might not have 
> gone to the list), the evaluation of M 
> might make this a pretty chunky step.

I thought I was responding to the list, and didn't keep
a copy of my response to you.  Since you're the only one
who has a copy, I'd appreciate it if you'd post that to
the list.

One key property of a structural operational semantics
is that the antecedent, if any, takes only a single step,
and the consequent merely surrounds the antecedent with
an arbitrary context.

Will