Ebook > Ciencia > Matemáticas > Sebastian Hack & Helmut Seidl: Übersetzerbau (PDF)

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

Soporte

Portada de 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.93

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Alemán ● Formato PDF ● ISBN 9783642033315 ● Editorial Springer Berlin Heidelberg ● Publicado 2009 ● Descargable 3 veces ● Divisa EUR ● ID 2170927 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Sebastian Hack Helmut Seidl Reinhard Wilhelm

48.151 Ebooks en esta categoría

Portada de Mevin B. Hooten & Devin S. (Marine Mammal Laboratory, Alaska Fisheries Science Center, NOAA Fisheries, USA) Johnson: Animal Movement

Mevin B. Hooten & Devin S. (Marine Mammal Laboratory, Alaska Fisheries Science Center, NOAA Fisheries, USA) Johnson: Animal Movement

The study of animal movement has always been a key element in ecological science, because it is inherently linked to critical processes that scale from individuals to populations and communities to e …

Portada de Michael Joswig: Essentials of Tropical Combinatorics

Michael Joswig: Essentials of Tropical Combinatorics

The goal of this book is to explain, at the graduate student level, connections between tropical geometry and optimization. Building bridges between these two subject areas is fruitful in two ways. …

Portada de Nitis Mukhopadhyay: Probability and Statistical Inference

Nitis Mukhopadhyay: Probability and Statistical Inference

Priced very competitively compared with other textbooks at this level! This gracefully organized textbook reveals the rigorous theory of probability and statistical inference in the style of a tutori …

Portada de Vladimir (Ohio University) Vinogradov: Refined Large Deviation Limit Theorems

Vladimir (Ohio University) Vinogradov: Refined Large Deviation Limit Theorems

This is a developing area of modern probability theory, which has applications in many areas. This volume is devoted to the systematic study of results on large deviations in situations where …

Portada de Paul-Jean (UniversitE d¿Aix-Marseille III, Marseille, France) Cahen & Marco (Terza Universita degli Studi di Roma, Italy) Fontana: Commutative Ring Theory

Paul-Jean (UniversitE d¿Aix-Marseille III, Marseille, France) Cahen & Marco (Terza Universita degli Studi di Roma, Italy) Fontana: Commutative Ring Theory

Presents the proceedings of the Second International Conference on Commutative Ring Theory in Fes, Morocco. The text details developments in commutative algebra, highlighting the theory of rings and …

Portada de Olga Oleinik & I.G. Petrovskii: I.G.Petrovskii:Selected Wrks P

Olga Oleinik & I.G. Petrovskii: I.G.Petrovskii:Selected Wrks P

This book contains the major works of Ivan Georgievich Petrowsky on systems of partial differential equations and algebraic geometry. The articles are of crucial importance for the topology of real …

Portada de Oliver Linton: Number

Oliver Linton: Number

What are numbers? Where do they come from? Are there different kings of number? Why was Pythagoras fascinated by triangular and square numbers? Is there a link between perfect numbers and primes? In …

Portada de Gary Chartrand & Ping (Western Michigan University, Kalamazoo, Michigan, USA) Zhang: Chromatic Graph Theory

Gary Chartrand & Ping (Western Michigan University, Kalamazoo, Michigan, USA) Zhang: Chromatic Graph Theory

With Chromatic Graph Theory, Second Edition , the authors present various fundamentals of graph theory that lie outside of graph colorings, including basic terminology and results, trees and connecti …

Portada de Narenda (Auburn University, Alabama, USA) Govil & Ram N. (University of Central Florida, Orlando, USA) Mohapatra: Approximation Theory

Narenda (Auburn University, Alabama, USA) Govil & Ram N. (University of Central Florida, Orlando, USA) Mohapatra: Approximation Theory

‘Contains the contributions of 45 internationally distinguished mathematicians covering all areas of approximation theory-written in honor of the pioneering work of Arun K. Varma to the fields of …

Portada de Ana (University of Exeter, UK) Rodrigues: One-Dimensional Dynamical Systems

Ana (University of Exeter, UK) Rodrigues: One-Dimensional Dynamical Systems

For almost every phenomenon in physics, chemistry, biology, medicine, economics, and other sciences, one can make a mathematical model that can be regarded as a dynamical system. One-Dimensional Dyna …

siguiente página >>>