Back to Search

Maschinen-Unabhängige Code-Erzeugung ALS Semantikerhaltende Beweisbare Programmtransformation

AUTHOR Stoyan, H.
PUBLISHER Springer (12/01/1984)
PRODUCT TYPE Paperback (Paperback)

Description
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.
Show More
Product Format
Product Details
ISBN-13: 9783540138952
ISBN-10: 3540138951
Binding: Paperback or Softback (Trade Paperback (Us))
Content Language: German
More Product Details
Page Count: 368
Carton Quantity: 10
Product Dimensions: 6.69 x 0.78 x 9.61 inches
Weight: 1.32 pound(s)
Feature Codes: Illustrated
Country of Origin: US
Subject Information
BISAC Categories
Computers | Languages - General
Computers | Software Development & Engineering - General
Computers | Programming - Compilers
Dewey Decimal: 005.453
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
List Price $59.99
Your Price  $59.39
Paperback