Catalog > Science > Mathématiques > Sebastian Hack & Helmut Seidl: Übersetzerbau (PDF)

Sebastian Hack & Helmut Seidl
Übersetzerbau [PDF ebook]
Band 3: Analyse und Transformation

Support

Couverture du Sebastian Hack & Helmut Seidl: Übersetzerbau (PDF)

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.

€16.99

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Allemand ● Format PDF ● ISBN 9783642033315 ● Maison d’édition Springer Berlin Heidelberg ● Publié 2009 ● Téléchargeable 3 fois ● Devise EUR ● ID 2170927 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Sebastian Hack Helmut Seidl Reinhard Wilhelm

48 701 Ebooks dans cette catégorie

Couverture du Przemyslaw Biecek & Tomasz (Hasselt University, Belgium) Burzykowski: Explanatory Model Analysis

Przemyslaw Biecek & Tomasz (Hasselt University, Belgium) Burzykowski: Explanatory Model Analysis

Explanatory Model Analysis Explore, Explain and Examine Predictive Models is a set of methods and tools designed to build better predictive models and to monitor their behaviour in a changing environ …

Couverture du Brandon M. (University of Cincinnati, Cincinnati, USA) Greenwell: Tree-Based Methods for Statistical Learning in R

Brandon M. (University of Cincinnati, Cincinnati, USA) Greenwell: Tree-Based Methods for Statistical Learning in R

Tree-based Methods for Statistical Learning in R provides a thorough introduction to both individual decision tree algorithms (Part I) and ensembles thereof (Part II). Part I of the book brings sever …

Couverture du Brian Hatfield: Quantum Field Theory Of Point Particles And Strings

Brian Hatfield: Quantum Field Theory Of Point Particles And Strings

First Published in 2018. The emphasis of the book is calculational, and most computations are presented in step-by-step detail. The book is unique in that it develops all three representations of qua …

Couverture du Aref Jeribi: Linear Operators and Their Essential Pseudospectra

Aref Jeribi: Linear Operators and Their Essential Pseudospectra

Linear Operators and Their Essential Pseudospectra provides a comprehensive study of spectral theory of linear operators defined on Banach spaces. The central items of interest in the volume include …

Couverture du Karan S. (University of Kansas, USA) Surana: Numerical Methods and Methods of Approximation in Science and Engineering

Karan S. (University of Kansas, USA) Surana: Numerical Methods and Methods of Approximation in Science and Engineering

Numerical Methods and Methods of Approximation in Science and Engineering prepares students and other readers for advanced studies involving applied numerical and computational analysis. Focused on b …

Couverture du Alexander D. (The University of Alabama, Huntsville, USA) Poularikas: Signals and Systems Primer with MATLAB

Alexander D. (The University of Alabama, Huntsville, USA) Poularikas: Signals and Systems Primer with MATLAB

Signals and Systems Primer with MATLAB® equally emphasizes the fundamentals of both analog and digital signals and systems. To ensure insight into the basic concepts and methods, the text presents a …

Couverture du Giuseppe (Scuola Normale Superiore, Pisa, Italy) Da Prato & Luciano (Universit¿ di Trento, Italy) Tubaro: Stochastic Partial Differential Equations and Applications

Giuseppe (Scuola Normale Superiore, Pisa, Italy) Da Prato & Luciano (Universit¿ di Trento, Italy) Tubaro: Stochastic Partial Differential Equations and Applications

Based on the proceedings of the International Conference on Stochastic Partial Differential Equations and Applications-V held in Trento, Italy, this illuminating reference presents applications in fi …

Couverture du Stefaan Caenepeel & Freddy Van Oystaeyen: Hopf Algebras and Quantum Groups

Stefaan Caenepeel & Freddy Van Oystaeyen: Hopf Algebras and Quantum Groups

This volume is based on the proceedings of the Hopf-Algebras and Quantum Groups conference at the Free University of Brussels, Belgium. It presents state-of-the-art papers – selected from over 65 par …

Couverture du Christopher J. A. Polachic & Chary Rangacharyulu: From Atoms to Higgs Bosons

Christopher J. A. Polachic & Chary Rangacharyulu: From Atoms to Higgs Bosons

The announcement in 2012 that the Higgs boson had been discovered was understood as a watershed moment for the Standard Model of particle physics. It was deemed a triumphant event in the reductionist …

Couverture du L S Tong: Boiling Heat Transfer And Two-Phase Flow

L S Tong: Boiling Heat Transfer And Two-Phase Flow

Completely updated, this graduate text describes the current state of boiling heat transfer and two-phase flow, in terms through which students can attain a consistent understanding. Prediction of re …

Page suivante >>>