Catalog > Wetenschappen > Wiskunde > Sebastian Hack & Helmut Seidl: Übersetzerbau (PDF)

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

Ondersteuning

Hoes van 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.

€17.19

Koop dit e-boek en ontvang er nog 1 GRATIS!

Taal Duits ● Formaat PDF ● ISBN 9783642033315 ● Uitgeverij Springer Berlin Heidelberg ● Gepubliceerd 2009 ● Downloadbare 3 keer ● Valuta EUR ● ID 2170927 ● Kopieerbeveiliging Adobe DRM

Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

Sebastian Hack Helmut Seidl Reinhard Wilhelm

50.053 E-boeken in deze categorie

Hoes van N. Balakrishnan & William Chen: CRC Handbook of Tables for Order Statistics from Inverse Gaussian Distributions with Applications

N. Balakrishnan & William Chen: CRC Handbook of Tables for Order Statistics from Inverse Gaussian Distributions with Applications

First derived within the context of life-testing, inverse Gaussian distribution has become one of the most important and widely employed distributions, and is often used to model the lifetimes of com …

Hoes van Victor N. (Univ. of Delaware) Kaliakin: Introduction to Approximate Solution Techniques, Numerical Modeling, and Finite Element Methods

Victor N. (Univ. of Delaware) Kaliakin: Introduction to Approximate Solution Techniques, Numerical Modeling, and Finite Element Methods

Functions as a self-study guide for engineers and as a textbook for nonengineering students and engineering students, emphasizing generic forms of differential equations, applying approximate solutio …

Hoes van Michael (University College, Cork, Ireland) Kennedy & Riccardo (University of Bologna, Italy) Rovatti: Chaotic Electronics in Telecommunications

Michael (University College, Cork, Ireland) Kennedy & Riccardo (University of Bologna, Italy) Rovatti: Chaotic Electronics in Telecommunications

At the code level, discrete-time chaotic systems can be used to generate spreading codes for DS-SS systems. At the signal level, continuous-time chaotic systems can be used to generate wideband carri …

Hoes van David (School of Electrical, Computer, and Energy Engineering, Arizona State University) Ferry: The Copenhagen Conspiracy

David (School of Electrical, Computer, and Energy Engineering, Arizona State University) Ferry: The Copenhagen Conspiracy

At the close of the nineteenth century, we stood on the threshold of one of the greatest periods of science, in which the entire world and understanding of science would be shaken to the core and gre …

Hoes van Mahir M. (Point Pleasant, New Jersey, USA) Sabzaliev & IIhama M. (Point Pleasant, New Jersey, USA) Sabzalieva: Higher Mathematics for Engineering and Technology

Mahir M. (Point Pleasant, New Jersey, USA) Sabzaliev & IIhama M. (Point Pleasant, New Jersey, USA) Sabzalieva: Higher Mathematics for Engineering and Technology

Based on and enriched by the long-term teaching experience of the authors, this volume covers the major themes of mathematics in engineering and technical specialties. The book addresses the elements …

Hoes van Luis Manuel Braga da Costa Campos: Classification and Examples of Differential Equations and their Applications

Luis Manuel Braga da Costa Campos: Classification and Examples of Differential Equations and their Applications

Classification and Examples of Differential Equations and their Applications is the sixth book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set. …

Hoes van Rasajit Kumar (Department of Science, NITTTR, Kolkata, India) Bera & Arabinda (Department of Applied Mathematics, University of Calcutta, Kolkata, INDIA) Roy: Linear and Non-Linear Deformations of Elastic Solids

Rasajit Kumar (Department of Science, NITTTR, Kolkata, India) Bera & Arabinda (Department of Applied Mathematics, University of Calcutta, Kolkata, INDIA) Roy: Linear and Non-Linear Deformations of Elastic Solids

Linear and Non-Linear Deformations of Elastic Solids aims to compile the advances in the field of linear and non-linear elasticity through discussion of advanced topics. Broadly classified into two p …

Hoes van David (Truman State University, Kirksville, Missouri, USA) Garth & Anthony (Truman State University, Kirksville, Missouri, USA) Vazzana: Introduction to Number Theory

David (Truman State University, Kirksville, Missouri, USA) Garth & Anthony (Truman State University, Kirksville, Missouri, USA) Vazzana: Introduction to Number Theory

Introduction to Number Theory is a classroom-tested, student-friendly text that covers a diverse array of number theory topics, from the ancient Euclidean algorithm for finding the greatest common di …

Hoes van Marica (University of Brescia, Italy) Manisera & Paola (University of Brescia, Italy) Zuccolotto: Basketball Data Science

Marica (University of Brescia, Italy) Manisera & Paola (University of Brescia, Italy) Zuccolotto: Basketball Data Science

Using data from one season of NBA games, Basketball Data Science: With Applications in R is the perfect book for anyone interested in learning and applying data analytics in basketball. Whether asses …

Hoes van R.L. Weber: More Random Walks in Science

R.L. Weber: More Random Walks in Science

More Random Walks in Science is an anthology of fascinating and frequently amusing anecdotes, quotations, illustrations, articles, and reviews that reflect the more lighthearted aspects of the scient …

Volgende pagina >>>