Dies geschieht beispielsweise mithilfe von inhaltlichem Hinterfragen und Prüfung von nicht hilfreichen Trauergedanken bzw. Denkfehlern und einer hierauf folgenden kognitiven Umstrukturierung.
Andere Denkfehler im Programm lassen sich zur Übersetzungszeit gar nicht erkennen; Compiler fügen dort jedoch häufig Prüfcode ein, der zu einem Laufzeitfehler erst während der Programmausführung führt.
