Compiler Design: Analysis and Transformation - Image 1

£54.15

Springer Compiler Design: Analysis and Transformation

Name: Compiler Design: Analysis and Transformation
Brand: Springer
Price: 54.07 GBP
Availability: InStock

Compilers

Price History & Forecast

Last 33 days • 33 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 33 days • 1 price levels

Days at Price

Price Analysis

Most common price: £54 (33 days, 100.0%)

Price range: £54 - £54

Price levels: 1 different prices over 33 days

Description

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available. The book deals with the optimization phase of compilers. In this phase, programs are transformed in order to increase their efficiency. To preserve the semantics of the programs in these transformations, the compiler has to meet the associated applicability conditions. These are checked using static analysis of the programs. In this book the authors systematically describe the analysis and transformation of imperative and functional programs. In addition to a detailed description of important efficiency-improving transformations, the book offers a concise introduction to the necessary concepts and methods, namely to operational semantics, lattices, and fixed-point algorithms. This book is intended for students of computer science. The book is supported throughout with examples, exercises and program fragments.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3662507161
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 23 August 2016
Listed Since: 09 June 2016

Barcode

No barcode data available

Springer Compiler Design: Analysis and Transformation

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Compiler Design: Analysis and Transformation

Compiler Design: Syntactic and Semantic Analysis

Compiler Design: Virtual Machines

Introduction to Compiler Design (Undergraduate Topics in Computer Science)

Modern Compiler Design

SSA-based Compiler Design

SSA-based Compiler Design

Springer Programming Language Design and Implementation Book

Compiler Construction: Fundamentals and Applications

Formal Languages and Compilation (Texts in Computer Science)

Modern Compiler Implement in ML

Compiler Design Using Java(R): An Object-Oriented Approach

Formal Languages and Compilation (Texts in Computer Science)

Reasoning About Program Transformations: Imperative Programming and Flow of Data

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)

Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

Springer - Loop Transformations for Restructuring Compilers

Modern Compiler Implement in C

Springer - Source Code Optimization for Embedded Software

An APL Compiler

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Compiler Construction Using Java, JavaCC, and Yacc

Optimizing Compilers for Modern Architectures: A Dependence-based Approach

Practical Optimization Methods : With Mathematical Applications