Programming Language Engineering
Section 11: Small-step Semantics
Section 11: Small-step Semantics
Semantics