Posts tagged "Formal Semantics"

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