scrambled
Concept

Untrapped runtime error

Modified just now
Books JourneyProgramming Language Theory Statusreviewing Tags
  • language-feature-design
  • runtime
  • type theory

According to "Type system" [Luca Cardelli, 1996], a type of errors that does not terminate the program, such as buffer overflows, accessing deallocated memory, type punning gone wrong. These are deemed as dangerous as they can corrupt the program's state.