Skip to content
scrambled
Programming Language Theory Concept

Untrapped (runtime) error

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.