Logo - springer
Slogan - springer

Computer Science - Software Engineering | Übersetzerbau - Band 4: Codeerzeugung und maschinennahe Optimierung

Übersetzerbau

Band 4: Codeerzeugung und maschinennahe Optimierung

Reihe: eXamen.press

Hack, Sebastian, Wilhelm, Reinhard, Seidl, Helmut

2015, 200 S.

Formate:
eBook
Information

Springer eBooks sind ausschließlich für den persönlichen Gebrauch bestimmt und werden ohne Kopierschutz verkauft (DRM-frei). Statt dessen sind sie mit einem personalisierten Wasserzeichen versehen. Sie können die Springer eBooks auf gängigen Endgeräten, wie beispielsweise Laptops, Tablets oder eReader, lesen.

Springer eBooks können mit Visa, Mastercard, American Express oder Paypal bezahlt werden.

Nach dem Kauf können Sie das eBook direkt downloaden. Ihr eBook ist außerdem in MySpringer gespeichert, so dass Sie Ihre eBooks jederzeit neu herunterladen können.

 

ISBN 978-3-642-10356-8

versehen mit digitalem Wasserzeichen, kein DRM

The eBook version of this title will be available soon


mehr Information zu Springer eBooks

add to marked items

Softcover
Information

Broschierte Ausgabe

Springer-Bücher können mit Visa, Mastercard, American Express, Paypal sowie auf Rechnung bezahlt werden.

Standard-Versand ist für Individualkunden kostenfrei.

 
approx. $29.95

(net) Preis für USA

ISBN 978-3-642-10355-1

kostenfreier Versand für Individualkunden

Erscheinungstermin: November 8, 2015


add to marked items

  • Das Buch enthält sowohl die notwendige Theorie als Hinweise zur Implementierung von Übersetzern
Dieses Buch behandelt die Optimierungsphase von Übersetzern. In dieser Phase werden Programme zur Effi zienzsteigerung transformiert. Damit die Semantik der Programme bei diesen Transformationen erhalten bleibt, müssen jeweils zugehörige Anwendbarkeitsbedingungen erfüllt sein. Diese werden mittels statischer Analyse der Programme überprüft. In diesem Buch werden Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben. Neben einer detaillierten Beschreibung wichtiger Optimierungen bietet das Buch eine knappe Einführung in die erforderlichen Konzepte und Methoden zur operationalen Semantik, zu vollständigen Verbänden und Fixpunktalgorithmen.

Content Level » Upper undergraduate

Stichwörter » Analyse - Optimierung - Programmiersprachen - Programmtransformationen - Übersetzerbau

Verwandte Fachbereiche » Software Engineering

Inhaltsverzeichnis 

1 Grundlagen und intraprozedurale Optimierung. - 2 Interprozedurale Optimierungen. - 3 Optimierung funktionaler Programme.

Beliebte Inhalte dieser Publikation 

 

Articles

Service für dieses Buch

Neuerscheinungen

Registrieren Sie sich hier wenn Sie regelmäßig Informationen über neue Bücher erhalten wollen im Fachbereich Programmiersprachen und Interpreter.