Super-Compilation

(Massalin 1987, Granlund und Kenner 1992, zitiert in Grune et al: Modern Compiler Design, 4.2.8)

• für arithmetische/logische Geradeaus-Programme
• teste alle Folgen von Maschinenbefehlen der Länge 1, 2, ...durch Ausführen (die meisten Fehler werden schnell entdeckt)
• Beweise die Korrektheit der Folgen, die Tests überstanden haben.