Grundsätzliches

• ein Compiler verarbeitet Programme
• alle nicht trivialen semantischen Eigenschaften von Programmen (einer Turing-vollständigen Programmiersprache) sind unentscheidbar (z. B.: wird eine Anweisung jemals ausgefÃ14hrt, wird eine Speicherstelle mehr als einmal geschrieben usw.)

Compiler haben es schwer

• Compiler muß raten/approximieren
• oder Programmierer muß mithelfen (z. B. Typen deklarieren)