(Q736866)

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