|
|
|
|
|
|
by kd0amg
3578 days ago
|
|
|
That PLers, as Lamport writes in his comment on my post, fail to see that Plotkin's SOS is an abstract state machine Is this even true? I don't think I've ever met a PLer who didn't know that an operational semantics describes an abstract machine. |
|
|