Small and Big Step Semantics
This blog outlines small-step and big-step semantics, their differences, and applications in analyzing computer programs.
This blog outlines small-step and big-step semantics, their differences, and applications in analyzing computer programs.