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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
