Tip güvenliği
Tip güvenliği bir programlama dilinin veri tipi hatalarına karşı duyarlığını ifade eden bir terimdir. Yazılımda kullanılan değişken, sabit değer ve yordamların istenen veri tipleriyle (örn. float türünden bir değişkenin int türünden işlemlerde kullanılamaması) çalışmasını amaçlayan tip güvenliğinin ana hatları tip kuramı tarafından belirlenmiştir.