Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
>
Zugangsberechtigung
>
Zweigstelleninformation
Katalogdatenanzeige
Katalogdatenanzeige
Übersetzerbau: Band 3: Analyse und Transformation
.
Bookmark für diesen Satz setzen
Katalogdatensatz500146388
.
.
Wikipedia-Verfasserlink
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500146388
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
ger
Hinweise auf parallele Ausgaben
316197394 Druckausg.: ‡Übersetzerbau ; 3: Analyse und Transformation
62240119X Druckausg.: ‡Seidl, Helmut: Übersetzerbau ; Band 3: Analyse und Transformation
ISBN
978-3-642-03329-2
Name
Seidl, Helmut
Wilhelm, Reinhard
ANZEIGE DER KETTE
Wilhelm, Reinhard
Name
Hack, Sebastian
T I T E L
Übersetzerbau
Zusatz zum Titel
Band 3: Analyse und Transformation
Verlagsort
Berlin, Heidelberg
Verlag
Springer-Verlag Berlin Heidelberg
Erscheinungsjahr
2010
2010
Umfang
Online-Ressource (X, 177 pages with 65 illus, online resource)
Reihe
eXamen.press
Notiz / Fußnoten
Includes bibliographical references and index
Titelhinweis
Druckausg.: ‡Übersetzerbau ; 3: Analyse und Transformation
Druckausg.: ‡Seidl, Helmut: Übersetzerbau ; Band 3: Analyse und Transformation
ISBN
ISBN 978-3-642-03331-5
Klassifikation
PB
MAT000000
*68N20
68-01
005.453
510
QA1-939
ST 255
Kurzbeschreibung
Grundlagen und intraprozedurale Optimierung -- Interprozedurale Optimierungen -- Optimierung funktionaler Programme.
2. Kurzbeschreibung
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.
1. Schlagwortkette
Übersetzerbau
ANZEIGE DER KETTE
Übersetzerbau
SWB-Titel-Idn
318559552
Signatur
Springer E-Book
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttp://dx.doi.org/10.1007/978-3-642-03331-5
Internetseite / Link
Volltext
Siehe auch
Volltext
Siehe auch
Inhaltsverzeichnis
Siehe auch
Kapitel 1
Siehe auch
Einführung/Vorwort
Siehe auch
Cover
Siehe auch
Inhaltstext
.
ISBD-Anzeige
Katalogdatensatz500146388
.
Kategorien-Anzeige
Katalogdatensatz500146388
.
Verwandte Werke
Katalogdatensatz500146388
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500146388
.
Kataloginformation500146388
Datensatzanfang
.
Kataloginformation500146388
Seitenanfang
.
Titel vormerken
Katalogdatensatz500146388
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach