Author: Stoyan, Herbert.
Title: Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation.
Description: Berlin & New York : Springer, c1984. Paperback. 365 pp. 25 cm. (Informatik-Fachberichte, 91).. Mailorder only - Alleen verzending mogelijk. Book condition : very good. - 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, dass Compilation ein spezieller Fall von sog. mixed computation sei, welche sich kurz so charakterisieren lässt, dass 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 - dass 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 ein nicht weiter erklärbarer Vorgang, der stattfindet durch Automaten (im Sinne der Automaten theorie), die in geeigneter Weise Zeichenketten akzeptieren bzw. generieren. Die Automaten hängen 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. ISBN 9783540138952.

Keywords: COMPUTER STUDIES, Evaporation (Meteorology)