Maschinen-unabhangige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation 12+

📗 Was ist das Wesen der Compilierung? Ershov hat 1977 einen Vortrag /24/ gehalten mit dem Titel "On the essence of compilation". Darin fUhrt er seine Idee aus, daß Compilation ein spezieller Fall von sog. "mixed computation" sei, welche sich kurz so charakterisieren laßt, daß alles was konkret ausrechenbar ist, ausgerechnet wird, und alles was nicht ausgerechnet werden kann, stehen bleibt. Ershovs Versuch hat keine Vorganger, obwohl verschiedene Compilermodelle entwickelt wurden. Interpretieren wir in die­ se Modelle (teilweise unzulassig) Erklarungsversuche fUr den Vorgang der Compilation - daß das Resultat aquivalenter aus­ fUhrbarer Maschinencode ist, nehmen wir als gemeinsame An­ sicht an - dann kommen wir grob zu folgenden Standpunkten: 1. Compilation ist ein nicht weiter erklarbarer Vorgang, der stattfindet durch Automaten (im Sinne der Automaten­ theorie), die in geeigneter Weise Zeichenketten akzeptieren bzw. generieren. Die Automaten hangen in gewisser Weise von der Quell­ sprache ab (man kann den Akzeptor aus einer guten syntak­ tischen Beschreibung erzeugen) bzw. werden vom Compiler­ konstrukteur auf Grund seiner Erfahrung entwickelt.