A framework for big-step semantics
Francesco Dagnino · 2019
The semantics of programming languages or software systems generally specifies, for each program/system configuration, its final result, if any. In literature, there are two main approaches to define such a relation in an operational way: either on top of a small-step relation [12, 13], representing single computation step, or directly by a set of rules as in big-step style [9].