Eine Typverletzung (engl. type conflict) liegt vor, wenn Datentypen zum Beispiel aufgrund fehlender Zuweisungskompatibilität nicht regelgemäß verwendet werden. Zum Beispiel werden Variablen Datentypen zugeordnet, womit ihr Wertebereich, also die Menge der zulässigen Belegungen der Variable mit einem konkreten Wert, eingeschränkt wird. Weist m...