termination semantics: semantyka zakończenia
Obecny w niektórych językach programowania model obsługi błędów, w którym zakłada się, że każdy błąd jest tak poważny, że nie da się automatycznie wznowić wykonywania kodu w miejscu, w którym błąd ten wystąpił.