32,99 €*
Versandkostenfrei per Post / DHL
Lieferzeit 4-7 Werktage
Will man für eine moderne Programmiersprache Code erzeugen, wird man schnell feststellen, dass man bei der Übersetzung gerne Befehle verwenden würde, die so von einer konkreten Maschine nicht bereit gestellt werden. Andererseits ändern sich die Instruktionssätze moderner Rechner so schnell, dass es auch gar nicht sinnvoll erscheint, den Compiler zu sehr auf zufälligerweise bereitgestellte Operationen festzulegen. Eine solche Festlegung könnte nämlich bedeuten, dass man nach wenigen Jahren den Compiler gänzlich neu schreiben müsste.
Um dieses zu vermeiden wird ein Code für eine idealisierte Maschine erzeugt, deren Befehle dann jeweils nur noch auf den verschiedenen konkreten Zielrechnern zu implementieren sind. Einerseits erleichtert dieses Vorgehen die Portierbarkeit des Compilers. Andererseits vereinfacht dies auch die Übersetzung selbst, da man den Befehlssatz entsprechend der jeweiligen zu übersetzenden Programmiersprache geeignet wählen kann.
In dem Buch werden solche virtuellen Maschinen für imperative, funktionale, logische und objekt-orientierte Programmiersprachen vorgestellt. Dabei wird insbesonds auf die Übersetzungsschemata eingegangen, wie man für die jeweiligen konkreten Programmkonstrukte der Programmiersprache die Befehlsfolgen für die zugehörige virtuelle Maschine konstruiert. Neben einer vertieften Einsicht in allgemeine Konzepte von Programmiersprachen vermittelt unser Buch darum grundlegende Techniken zur Implementierung moderner Übersetzer.
Will man für eine moderne Programmiersprache Code erzeugen, wird man schnell feststellen, dass man bei der Übersetzung gerne Befehle verwenden würde, die so von einer konkreten Maschine nicht bereit gestellt werden. Andererseits ändern sich die Instruktionssätze moderner Rechner so schnell, dass es auch gar nicht sinnvoll erscheint, den Compiler zu sehr auf zufälligerweise bereitgestellte Operationen festzulegen. Eine solche Festlegung könnte nämlich bedeuten, dass man nach wenigen Jahren den Compiler gänzlich neu schreiben müsste.
Um dieses zu vermeiden wird ein Code für eine idealisierte Maschine erzeugt, deren Befehle dann jeweils nur noch auf den verschiedenen konkreten Zielrechnern zu implementieren sind. Einerseits erleichtert dieses Vorgehen die Portierbarkeit des Compilers. Andererseits vereinfacht dies auch die Übersetzung selbst, da man den Befehlssatz entsprechend der jeweiligen zu übersetzenden Programmiersprache geeignet wählen kann.
In dem Buch werden solche virtuellen Maschinen für imperative, funktionale, logische und objekt-orientierte Programmiersprachen vorgestellt. Dabei wird insbesonds auf die Übersetzungsschemata eingegangen, wie man für die jeweiligen konkreten Programmkonstrukte der Programmiersprache die Befehlsfolgen für die zugehörige virtuelle Maschine konstruiert. Neben einer vertieften Einsicht in allgemeine Konzepte von Programmiersprachen vermittelt unser Buch darum grundlegende Techniken zur Implementierung moderner Übersetzer.
Virtuelle Maschinen sind Abstraktionen von realen Rechnern. Meist sind sie in Software realisiert und häufig für eine spezielle Programmiersprache entworfen. Dieses Buch beschreibt die Übersetzung von imperativen, funktionalen, logischen und objektorientierten Programmiersprachen. Für jedes dieser Sprachparadigmen führen die Autoren eine virtuelle Maschine ein. Präzise, aber verständlich beschreiben sie die Übersetzung einer Quellsprache in die Sprache der virtuellen Maschine.
| Erscheinungsjahr: | 2007 |
|---|---|
| Fachbereich: | Programmiersprachen |
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Reihe: | eXamen.press |
| Inhalt: |
xiii
192 S. |
| ISBN-13: | 9783540495963 |
| ISBN-10: | 3540495967 |
| Sprache: | Deutsch |
| Herstellernummer: | 11837664 |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Seidl, Helmut
Wilhelm, Reinhard |
| Hersteller: |
Springer-Verlag GmbH
Springer Berlin Heidelberg eXamen.press |
| Maße: | 235 x 155 x 12 mm |
| Von/Mit: | Helmut Seidl (u. a.) |
| Erscheinungsdatum: | 18.04.2007 |
| Gewicht: | 0,324 kg |
Virtuelle Maschinen sind Abstraktionen von realen Rechnern. Meist sind sie in Software realisiert und häufig für eine spezielle Programmiersprache entworfen. Dieses Buch beschreibt die Übersetzung von imperativen, funktionalen, logischen und objektorientierten Programmiersprachen. Für jedes dieser Sprachparadigmen führen die Autoren eine virtuelle Maschine ein. Präzise, aber verständlich beschreiben sie die Übersetzung einer Quellsprache in die Sprache der virtuellen Maschine.
| Erscheinungsjahr: | 2007 |
|---|---|
| Fachbereich: | Programmiersprachen |
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Reihe: | eXamen.press |
| Inhalt: |
xiii
192 S. |
| ISBN-13: | 9783540495963 |
| ISBN-10: | 3540495967 |
| Sprache: | Deutsch |
| Herstellernummer: | 11837664 |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Seidl, Helmut
Wilhelm, Reinhard |
| Hersteller: |
Springer-Verlag GmbH
Springer Berlin Heidelberg eXamen.press |
| Maße: | 235 x 155 x 12 mm |
| Von/Mit: | Helmut Seidl (u. a.) |
| Erscheinungsdatum: | 18.04.2007 |
| Gewicht: | 0,324 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
