[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