safe typing (Q736866)

From Wikidata
Jump to navigation Jump to search
property of a type system that prevents certain erroneous or undesirable program behaviours
  • type soundness
  • type-safe
  • type safety typing
  • type safety system
  • type safety
  • safe
  • safety typing
edit
Language Label Description Also known as
English
safe typing
property of a type system that prevents certain erroneous or undesirable program behaviours
  • type soundness
  • type-safe
  • type safety typing
  • type safety system
  • type safety
  • safe
  • safety typing

Statements

0 references
0 references
safety (English)
0 references
Typsicherheit (German)
0 references
forsiktighet (Norwegian Bokmål)
0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit