2 citations · 2 across the 1 of their papers we have counts for
1 paper
Brian Courtehoute, Detlef Plump
The operational semantics of a programming language is said to be small-step if each transition step is an atomic computation step in the language. A semantics with this property f…