Posts tagged "Formal Methods"

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