Front cover image for The compiler design handbook : optimizations and machine code generation

The compiler design handbook : optimizations and machine code generation

The widespread use of object-oriented languages and Internet security concerns are just the beginning. Add embedded systems, multiple memory banks, highly pipelined units operating in parallel, and a host of other advances and it becomes clear that current and future computer architectures pose immense challenges to compiler designers-challenges that already exceed the capabilities of traditional compilation techniques. The Compiler Design Handbook: Optimizations and Machine Code Generation is designed to help you meet those challenges. Written by top researchers and designers from around the world, it presents detailed, up-to-date discussions on virtually all aspects of compiler optimizations and code generation. It covers a wide range of advanced topics, focusing on contemporary architectures such as VLIW, superscalar, multiprocessor, and digital signal processing. It also includes detailed presentations that highlight the different techniques required for optimizing programs written in parallel and those written in object-oriented languages. Each chapter is self-contained, treats its topic in depth, and includes a section of future research directions. Compiler design has always been a highly specialized subject with a fine blend of intricate theory and difficult implementation. Yet compilers play an increasingly vital role in the quest for improved performance. With its careful attention to the most researched, difficult, and widely discussed topics in compiler design, The Compiler Design Handbook offers a unique opportunity for designers and researchers to update their knowledge, refine their skills, and prepare for future innovations
eBook, English, ©2003
CRC Press, Boca Raton, FL, ©2003
1 online resource (xii, 916 pages) : illustrations
9780849312403, 9781420040579, 084931240X, 142004057X
309873869
Dataflow Analysis, Uday Khedkar, Indian Institute of Technology, Bombay, IndiaAutomatic Generation of Code Optimizers from Formal Specifications, Vineeth Kumar Paleri, Regional Engineering College, Calicut, IndiaScalar Compiler Optimizations on the SSA Form and the Flowgraph, Y.N. Srikant, Indian Institute of Science, Bangalore IndiaProfile-Guided Compiler Optimizations, Rajiv Gupta, University of Arizona, USA, Eduard Mehofer, Institute for Software Science, Austria, and Youtao Zhang, University of Arizona, USAShape Analysis and Applications, Reinhard Wilhelm, Universitaet des Saarlandes, Germany, Thomas Reps, University of Wisconsin-Madison, USA, and Mooly Sagiv, Tel Aviv University, IsraelOptimizations for Object-Oriented Languages, Andreas Krall, Inst. fur Computersprachen, Austria and Nigel Horspool, University of Victoria, BC, CanadaData Flow Testing, Rajiv Gupta and Neelam Gupta, University of Arizona, USAProgram Slicing, G. B. Mund, D Goswami and Rajib Mall, Indian Institute of Technology, Kharagpur, IndiaDebuggers for Programming Languages, Sanjeev Kumar Aggarwal and M Sarath Kumar, Indian Institute of Technology, Kanpur, IndiaDependence Analysis and Parallelizing Transformations, Rajopadhye, Colorado State University, USACompilation for Distributed Memory Architectures, Alok Choudhary, Northwestern University, USA and Mahmut Kandemir, Pennsylvania State University, USAAutomatic Data Distribution, J. Ramanujam, Louisiana State University, USARegister Allocation, K. Gopinath, Indian Institute of Science, Bangalore, IndiaArchitecture Description Languages for Retargetable Compilation, Sharad Malik and Wei Qin, Princeton University, USAInstruction Selection using Tree Parsing, Priti Shankar, Indian Institute of Science, Bangalore, IndiaA Retargetable VLIW Compiler Framework for DSPs, Sharad Malik and S. Rajagopalan, Princeton University, USA Instruction Scheduling, R. Govindarajan, Indian Institute of Science, Bangalore, IndiaSoftware Pipelining, Vicki H. Allan, Utah State University, USADynamic Compilation, Evelyn Duesterwald, Hewlett Packard Laboratories, USACompiling Safe Mobile Code, R. Venugopal, Hewlett-Packard India Software Operation Ltd., India and Ravindra B. Keskar, Sasken Communication Technologies Ltd., IndiaType Systems in Programming Languages, Ramesh Subrahmanyam, Burning Glass Technologies, USAAn Introduction to Operational Semantics, Sanjeeva Prasad and S. Arun Kumar, Indian Institute of Technology, Delhi, India