[PRL] structural operational semantics

William D Clinger will at ccs.neu.edu
Tue May 23 14:45:53 EDT 2006


Structural operational semantics is bog-standard small-step
operational semantics.  No "compatible closure", separation
via evaluation contexts, or Felleisen-style context-sensitivity.
See Nielson and Nielson for examples and discussion.

Will



More information about the PRL mailing list