Typsicherheit
Typsicherheit bezeichnet den Zustand (einer Programmausführung), bei dem die Datentypen gemäß ihren Definitionen regelgemäss verwendet werden und dementsprechend keine Typverletzung auftritt.
Ein Programm ist typsicher, wenn bei all seinen möglichen Ausführungen keine Typverletzung auftreten kann.
Siehe auch: Typisierung (Informatik)
Kategorie:Programmierung