1
Różnica między semantyką operacyjną małego i dużego kroku
Jaka jest podstawowa różnica między semantyką operacyjną małego i dużego kroku? Trudno mi zrozumieć, co to jest i motywację do posiadania tych dwóch.
Semantyka formalnie opisuje znaczenie jakiejś składni.