Logo - springer
Slogan - springer

Computer Science - Software Engineering | Compiler Design - Analysis and Transformation (Reviews)

Compiler Design

Analysis and Transformation

Seidl, Helmut, Wilhelm, Reinhard, Hack, Sebastian

2012, XII, 177 p. 96 illus., 91 illus. in color.

Available Formats:

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.


(net) price for USA

ISBN 978-3-642-17548-0

digitally watermarked, no DRM

Included Format: PDF and EPUB

download immediately after purchase

learn more about Springer eBooks

add to marked items


Hardcover version

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.


(net) price for USA

ISBN 978-3-642-17547-3

free shipping for individuals worldwide

online orders shipping within 2-3 days.

add to marked items

From the reviews:

“German academics … provide a concise, compact presentation on ‘methods to improve the efficiency of target programs by a compiler,’ i.e., a compiler’s optimizing phase. … The authors provide a wealth of information on analysis along with specific illustrations. … The authors walk through many of their examples with reference to various languages (such as Java). Since this book is aimed at students, it includes exercises at the end of each chapter. … Summing Up: Recommended. Upper-division undergraduates and graduate students.” (M. B. DuBois, Choice, Vol. 50 (10), June, 2013)

“The authors bring together many of the results from the last few decades in a coherent and detailed manner, and the result is an excellent resource for those wanting to understand some of the complex issues in building realistic, industrial-strength compilers. … The authors provide motivation and definitions for many of the concepts in static analysis, and illustrate these ideas through example programs that can be optimized.” (Sara Kalvala, Computing Reviews, April, 2013)

“This is a nice book on intraprocedural analysis for imperative languages, with short outings into interprocedural analysis, and analysis of functional languages. The book looks nice, reads well and provides good intuitions, and, importantly, also provides details on the transformation of programs. … It introduces the necessary preliminaries along the way as they arise … which gives the book a better flow when reading. Finally, it is also graphically very pleasing to look at.” (Juriaan Hage, Zentralblatt MATH, Vol. 1257, 2013)



Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Programming Techniques.