safe typing (Q736866)
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
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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(16 entries)
- arwiki سلامة الأنماط
- cawiki Seguretat de tipus
- dewiki Typsicherheit
- elwiki Ασφάλεια τύπων
- enwiki Type safety
- eswiki Seguridad de tipos
- fawiki ایمنی نوع
- frwiki Sûreté du typage
- hewiki בטיחות טיפוס
- itwiki Sicurezza rispetto ai tipi
- kowiki 자료형 안전
- ruwiki Типобезопасность
- svwiki Typsäkerhet
- trwiki Tip güvenliği
- ukwiki Типобезпечність
- zhwiki 型別安全
Wikibooks(1 entry)
- jawikibooks プログラミング/型安全性