Small and Big Step Semantics
Small-step semantics and big-step semantics are two approaches used in the field of formal semantics...
Tags: programming, computerscience