[go: up one dir, main page]

(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
  • safety typing
In more languages
default for all languages
No label defined

No description defined

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