Ebook > Scienza > Matematica > Sebastian Hack & Helmut Seidl: Übersetzerbau (PDF)

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

Supporto

Copertina di 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

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Tedesco ● Formato PDF ● ISBN 9783642033315 ● Casa editrice Springer Berlin Heidelberg ● Pubblicato 2009 ● Scaricabile 3 volte ● Moneta EUR ● ID 2170927 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Sebastian Hack Helmut Seidl Reinhard Wilhelm

48.151 Ebook in questa categoria

Copertina di 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 …

Copertina di 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. …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Pagina successiva >>>