safe typing
Sign in to saveAlso known as type soundness, type-safe, type safety typing, type safety system, type safety, safety typing
property of a type system that prevents certain erroneous or undesirable program behaviours
Wikidata facts
Show 2 more facts
- short name
- Typsicherheit
- Stack Exchange tag
- softwareengineering.stackexchange.com/tags/type-safety
Sources (2)
via Wikidata · CC0
Connections
programming language
Entity
pointer
Entity
class
Entity
type system
Entity
operational semantics
Entity
dangling pointer
Entity
C# syntax
Entity
computer science
Entity
International Standard Book Number
Entity
Q15777
Entity
Java
Entity
Q2407
Entity
Q2370
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
Q81571
Entity
semantics
Entity
Dennis M. Ritchie
Entity
object-oriented programming
Entity
Q154755
Entity