Concept
Language safety
Books
Journey Statuslearning
INFO
(Language feature/design, Runtime) According to Types and programming languages, from the view of portability, a language whose behavior can be entirely determined by its programmer's manual, that is, it is not subject to the internals of the specific machine it runs on.
INFO
(Language feature/design, Runtime) According to "Type system" [Luca Cardelli, 1996], a language with no untrapped runtime error at runtime.
INFO
(Language feature/design, Runtime) According to Programming languages: Application and Interpretation, a language with partiality operations and reported safety violations.