Catalog > Sains > Matematik > Sebastian Hack & Helmut Seidl: Übersetzerbau (PDF)

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

Sokongan

perlindungan daripada 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

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Jerman ● Format PDF ● ISBN 9783642033315 ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2009 ● Muat turun 3 kali ● Mata wang EUR ● ID 2170927 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Sebastian Hack Helmut Seidl Reinhard Wilhelm

48,763 Ebooks dalam kategori ini

perlindungan daripada Luis Gerardo de la Fraga & Omar Guillen-Fernandez: Optimization of Integer/Fractional Order Chaotic Systems by Metaheuristics and their Electronic Realization

Luis Gerardo de la Fraga & Omar Guillen-Fernandez: Optimization of Integer/Fractional Order Chaotic Systems by Metaheuristics and their Electronic Realization

Mathematicians have devised different chaotic systems that are modeled by integer or fractional-order differential equations, and whose mathematical models can generate chaos or hyperchaos. The …

perlindungan daripada Jerry Butters & Jim Henle: The Baseball Mysteries

Jerry Butters & Jim Henle: The Baseball Mysteries

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. …

perlindungan daripada Paul-Jean Cahen & Douglas L. Costa: Commutative Ring Theory

Paul-Jean Cahen & Douglas L. Costa: Commutative Ring Theory

‘ Exploring commutative algebra”s connections with and applications to topological algebra and algebraic geometry, Commutative Ring Theory covers the spectra of rings chain conditions, dimension the …

perlindungan daripada Ahmed I. (DePaul University, Chicago, Illinois, USA) Zayed: Fractional Integral Transforms

Ahmed I. (DePaul University, Chicago, Illinois, USA) Zayed: Fractional Integral Transforms

Fractional Integral Transforms: Theory and Applications presents over twenty-five integral transforms, many of which have never before been collected in one single volume. Some transforms are classic …

perlindungan daripada Pauly Awad & Seifedine Kadry: Mathematics for Engineers and Science Labs Using Maxima

Pauly Awad & Seifedine Kadry: Mathematics for Engineers and Science Labs Using Maxima

This book is designed to be a vital companion to math textbooks covering the topics of precalculus, calculus, linear algebra, differential equations, and probability and statistics. While these exist …

perlindungan daripada 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 …

perlindungan daripada Birendra Nath (Indian Statistical Institute, Kolkata, India) Mandal & Madan Mohan (Dept. of Mathematics, Visva Bharati Central Univ., India) Panja: Wavelet Based Approximation Schemes for Singular Integral Equations

Birendra Nath (Indian Statistical Institute, Kolkata, India) Mandal & Madan Mohan (Dept. of Mathematics, Visva Bharati Central Univ., India) Panja: Wavelet Based Approximation Schemes for Singular Integral Equations

Many mathematical problems in science and engineering are defined by ordinary or partial differential equations with appropriate initial-boundary conditions. Among the various methods, boundary integ …

perlindungan daripada Colin Fay & Cervan Girard: Engineering Production-Grade Shiny Apps

Colin Fay & Cervan Girard: Engineering Production-Grade Shiny Apps

From the Reviews ‘[This book] contains an excellent blend of both Shiny-specific topics … and practical advice from software development that fits in nicely with Shiny apps. You will find many nugget …

perlindungan daripada Yuhui Shi: Emerging Research on Swarm Intelligence and Algorithm Optimization

Yuhui Shi: Emerging Research on Swarm Intelligence and Algorithm Optimization

perlindungan daripada Mariavittoria Altomare & Francesco Aldo Costabile: Computer-Based Mathematics Education and the Use of MatCos Software in Primary and Secondary Schools

Mariavittoria Altomare & Francesco Aldo Costabile: Computer-Based Mathematics Education and the Use of MatCos Software in Primary and Secondary Schools

The theme of inserting new digital technologies into the teaching and learning of mathematics from primary and secondary schools has provoked a wide and interesting debate. One such debate is the ref …

Muka surat seterusnya >>>