An error in logic or arithmetic that must be detected at run time English: semantic error, run-time error, runtime error