Inferara Blog3/21/2024Small and Big Step SemanticsThis blog outlines small-step and big-step semantics, their differences, and applications in analyzing computer programs.Read at Inferara BlogTagsalgorithmscomputer-science
