Authors:
- Das Buch enthält sowohl die notwendige Theorie als Hinweise zur Implementierung von Übersetzern
- Includes supplementary material: sn.pub/extras
Part of the book series: eXamen.press (EXAMEN)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (3 chapters)
-
Front Matter
-
Back Matter
About this book
Dieses Buch behandelt die Optimierungsphase von Übersetzern. In dieser Phase werden Programme zur Effizienzsteigerung 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.
Authors and Affiliations
-
Technische Universität München Institut für Informatik – I2, Garching, Germany
Helmut Seidl
-
Universität des Saarlandes FB Informatik, Saarbrücken, Germany
Reinhard Wilhelm, Sebastian Hack
Bibliographic Information
Book Title: Übersetzerbau
Book Subtitle: Band 3: Analyse und Transformation
Authors: Helmut Seidl, Reinhard Wilhelm, Sebastian Hack
Series Title: eXamen.press
DOI: https://doi.org/10.1007/978-3-642-03331-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Life Science and Basic Disciplines (German Language)
Copyright Information: Springer-Verlag Berlin Heidelberg 2010
Softcover ISBN: 978-3-642-03329-2Published: 05 March 2010
eBook ISBN: 978-3-642-03331-5Published: 13 November 2009
Series ISSN: 1614-5216
Edition Number: 1
Number of Pages: X, 177
Number of Illustrations: 65 b/w illustrations
Topics: Mathematics, general