Are you asking if there are programming languages in which how undefined behaviour behaves is strictly defined?