Maschinen-unabh�ngige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
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 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.
1129020172
Maschinen-unabh�ngige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
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 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.
59.99 In Stock
Maschinen-unabh�ngige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

Maschinen-unabh�ngige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

by H. Stoyan
Maschinen-unabh�ngige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

Maschinen-unabh�ngige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

by H. Stoyan

Paperback

$59.99 
  • SHIP THIS ITEM
    In stock. Ships in 1-2 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers


Overview

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 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.

Product Details

ISBN-13: 9783540138952
Publisher: Springer Berlin Heidelberg
Publication date: 01/14/1985
Series: Informatik-Fachberichte , #91
Pages: 368
Product dimensions: 0.00(w) x 0.00(h) x 0.03(d)
Language: German

Table of Contents

1. Einleitung.- 2. Lisp-Compilation Durch Semantikerhaltende Programmtransformationen.- 3. Fortran-Compilation Durch Semantikerhaltende Programmtransformation.- 4. Vergleiche und Konsequenzen.- Literatur.
From the B&N Reads Blog

Customer Reviews