Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptierenH. Stoyan
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
- Springer Berlin Heidelberg
- 1984
- Taschenbuch
- 376 Seiten
- ISBN 9783540138952
Was ist das Wesen der Compilierung? Ershov hat 1977 einen Vortrag /24/ gehalten mit dem Titel "On the essence of compilation". Darin führt er seine Idee aus, daß Compilation ein spezieller Fall von sog. "mixed computation" sei, welche sich kurz so charakterisieren läßt, daß alles was konkret ausrechenbar ist, ausgerechnet wird, und alles was nicht ausgerechnet werden kann, stehen bleibt. Ershovs Versuch hat keine Vorgänger, obwohl verschiedene Compilermodelle entwickelt wurden. Interpretieren wir in die se Modelle (teilweise unzulässig) Erklärungsversuche für den Vorgang der Compilation - daß das Resultat äquivalenter aus führbarer Maschinencode ist, nehmen wir als gemeinsame An sicht an - dann kommen wir grob zu folgenden Standpunkten: 1. Compilation ist
Mehr
Weniger
zzgl. Versand
in Kürze