E-kitap > Bilim > Matematik > Sebastian Hack & Helmut Seidl: Übersetzerbau (PDF)

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

Destek

Örtmek 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

Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!

Dil Almanca ● Biçim PDF ● ISBN 9783642033315 ● Yayımcı Springer Berlin Heidelberg ● Yayınlanan 2009 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 2170927 ● Kopya koruma Adobe DRM

DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

Sebastian Hack Helmut Seidl Reinhard Wilhelm

48.151 Bu kategorideki e-kitaplar

Örtmek 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 …

Örtmek 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. …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Örtmek 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 …

Sonraki Sayfa >>>