safe typing (Q736866)
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
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | safe typing |
property of a type system that prevents certain erroneous or undesirable program behaviours |
|
Statements
safety (English)
0 references
Typsicherheit (German)
0 references
forsiktighet (Norwegian Bokmål)
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(14 entries)
- arwiki سلامة الأنماط
- dewiki Typsicherheit
- elwiki Ασφάλεια τύπων
- enwiki Type safety
- eswiki Seguridad de tipos
- fawiki ایمنی نوع
- frwiki Sûreté du typage
- hewiki בטיחות סוג
- itwiki Sicurezza rispetto ai tipi
- ruwiki Типобезопасность
- svwiki Typsäkerhet
- trwiki Tip güvenliği
- ukwiki Типобезпечність
- zhwiki 型別安全