Skip to main content
  • Textbook
  • © 2010

Übersetzerbau

Band 3: Analyse und Transformation

  • 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)

Buying options

eBook USD 19.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-03331-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 27.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (3 chapters)

  1. Front Matter

    Pages I-X
  2. Grundlagen und intraprozedurale Optimierung

    • Helmut Seidl, Reinhard Wilhelm, Sebastian Hack
    Pages 1-114
  3. Interprozedurale Optimierungen

    • Helmut Seidl, Reinhard Wilhelm, Sebastian Hack
    Pages 115-138
  4. Optimierung funktionaler Programme

    • Helmut Seidl, Reinhard Wilhelm, Sebastian Hack
    Pages 139-169
  5. Back Matter

    Pages 171-177

About this book

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

Keywords

  • Analyse
  • Funktion
  • Optimierung
  • Programmiersprachen
  • Programmtransformationen
  • Übersetzerbau

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

  • eBook ISBN: 978-3-642-03331-5

  • Series ISSN: 1614-5216

  • Edition Number: 1

  • Number of Pages: X, 177

  • Number of Illustrations: 65 b/w illustrations

  • Topics: Mathematics

Buying options

eBook USD 19.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-03331-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 27.99
Price excludes VAT (USA)