[PRL] structural operational semantics
William D Clinger
will at ccs.neu.edu
Tue May 23 17:36:37 EDT 2006
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
More information about the PRL
mailing list