[PRL] structural operational semantics (fwd)
Paul A. Steckler
steck at stecksoft.com
Tue May 23 17:39:26 EDT 2006
Forwarding, per Will's request.
--
>From will at ccs.neu.edu Tue May 23 14:10:43 2006
To: steck at stecksoft.com
Subject: Re: [PRL] structural operational semantics
Paul Steckler wrote:
> Wait, I thought some of Plotkin's rules have antecedents,
> meaning it's not entirely small-step.
The antecedents take only one step, and the only purpose
of the rules that have antecedents is to surround that one
step with an arbitrary context.
This is quite different from evaluation contexts that have
a single well-defined hole. With a structural operational
semantics, execution can proceed at various sites in an
interleaved fashion, nondeterministically.
Will
More information about the PRL
mailing list