Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03432486n
Noun Concept
Categories: Programming language topics, Type theory
EN
type safety  safe typing  Comparison of programming languages  compile-time type safety  safe
EN
In computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Wikipedia
Definitions
Relations
Sources
EN
In computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Wikipedia
The extent to which a programming language discourages or prevents type errors. Wikipedia Disambiguation
A concept in computer science, in which a programming language discourages or prevents type errors Wikipedia Disambiguation
Property of a type system that prevents certain erroneous or undesirable program behaviours Wikidata
IS A
type system
Wikipedia
EN
type safety
Wikidata
EN
safe typing
Wiktionary
EN
type safety
Wikipedia Redirections
EN
Comparison of programming languages (type safety), compile-time type safety, Type-checked, type-safe, type-safety, type safe, Type saftety, type soundness, Typesafety, Unsafe programming language
Wikidata Alias
EN
safe, safe typing, safety typing, type-safe, type safety, type safety system, type safety typing, type soundness

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License