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.

�ber die Autorin bzw. den Autor

The authors are among the established experts on compiler construction, with decades of related teaching experience. Prof. Dr. Reinhard Wilhelm is the head of the Compiler Design Lab of the Universit�t des Saarlandes, and his main research interests include compiler construction; Prof. Dr. Helmut Seidl heads the Institut f�r Informatik of the Technische Universit�t M�nchen, and his main research interests include automatic program analysis and the design and implementation of programming languages; Dr. Sebastian Hack is a Junior Professor in the Computer Science Programming Group of the Universit�t des Saarlandes, and his main research areas include compilers and code generation.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Second hand, new and antiquarian books, some rare, some manuscripts. We update our stock almost weekly - please do keep checking with us. Not all books online are kept at the Shop on Charing Cross Road. so please contact us before coming in for a book that you have found here .

Zur Homepage des Verk�ufers

Verbandsmitglied

Verbandsmitglieder verpflichten sich, h�chste Standards einzuhalten. Sie garantieren die Echtheit aller zum Verkauf angebotenen Objekte. Ihre Objektbeschreibungen sind sachkundig und genau, etwaig vorhandene M�ngel oder Restaurationen werden offengelegt. Die Ansetzung der Verkaufspreise erfolgt nach akkurater Recherche. Alle Verk�ufe werden stets fair und redlich abgewickelt.

Unternehmensdaten des Verk�ufers

Any Amount of Books Limited
55 Charlton Court, 75 Brecknock Road, London, N7 0BU, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Books can be returned for a full refund if found not to be as described. Please, if possible, contact us within 2 weeks of receipt.

Widerrufsbelehrung

Versandbedingungen

Please be aware that due the Covid-19 Pandemic, orders may take longer to arrive than stated. As this situiation changes almost daily, we ask that customers please accept that stated shipping times may not always be achievable, and to please be patient and understanding of the situation in these very difficult times.

We ship to most places in the world. We recommend, and may insist on using signed or tracked services for any book over �50 in value.

Postage: Books up to 1 kg (normal size books):

�5.50 to �7.00 signed for within UK

�18.00 tracked and signed to Europe

�18.50 tracked to USA

from �24.00 tracked to Canada, Asia, Australia and most international destinations

PLEASE NOTE:
*Books weighing over1 kilo will cost more and will be charged accordingly - please contact us for an estimate on postage costs if you would like to know these before purchasing.
We can discount postage costs for pamphlets, very light paperbacks etc. We are happy to combine shipping costs.

We pack all books very carefuly, using bubble wrap and strong specialist cardboard book mailing boxes for all books. Please ask any questions if there is something you are not sure about or would like more details or photographs of a book before ordering.

Versandkosten von Vereinigtes K�nigreich nach Deutschland

Versandkosten von Vereinigtes K�nigreich nach Deutschland
Bestellmenge	5 bis 21�Werktage	5 bis 21�Werktage
Erster Artikel	EUR 20.62	EUR 20.62

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.

Impressum & Info zum Verk�ufer