Riassunto
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.
Contenuti
Dataflow Analysis, Uday Khedkar, Indian Institute of Technology, Bombay, India
Automatic Generation of Code Optimizers from Formal Specifications, Vineeth Kumar Paleri, Regional Engineering College, Calicut, India
Scalar Compiler Optimizations on the SSA Form and the Flowgraph, Y.N. Srikant, Indian Institute of Science, Bangalore India
Profile-Guided Compiler Optimizations, Rajiv Gupta, University of Arizona, USA, Eduard Mehofer, Institute for Software Science, Austria, and Youtao Zhang, University of Arizona, USA
Shape Analysis and Applications, Reinhard Wilhelm, Universitaet des Saarlandes, Germany, Thomas Reps, University of Wisconsin-Madison, USA, and Mooly Sagiv, Tel Aviv University, Israel
Optimizations for Object-Oriented Languages, Andreas Krall, Inst. fur Computersprachen, Austria and Nigel Horspool, University of Victoria, BC, Canada
Data Flow Testing, Rajiv Gupta and Neelam Gupta, University of Arizona, USA
Program Slicing, G. B. Mund, D Goswami and Rajib Mall, Indian Institute of Technology, Kharagpur, India
Debuggers for Programming Languages, Sanjeev Kumar Aggarwal and M Sarath Kumar, Indian Institute of Technology, Kanpur, India
Dependence Analysis and Parallelizing Transformations, Rajopadhye, Colorado State University, USA
Compilation for Distributed Memory Architectures, Alok Choudhary, Northwestern University, USA and Mahmut Kandemir, Pennsylvania State University, USA
Automatic Data Distribution, J. Ramanujam, Louisiana State University, USA
Register Allocation, K. Gopinath, Indian Institute of Science, Bangalore, India
Architecture Description Languages for Retargetable Compilation, Sharad Malik and Wei Qin, Princeton University, USA
Instruction Selection using Tree Parsing, Priti Shankar, Indian Institute of Science, Bangalore, India
A Retargetable VLIW Compiler Framework for DSPs, Sharad Malik and S. Rajagopalan, Princeton University, USA
Instruction Scheduling, R. Govindarajan, Indian Institute of Science, Bangalore, India
Software Pipelining, Vicki H. Allan, Utah State University, USA
Dynamic Compilation, Evelyn Duesterwald, Hewlett Packard Laboratories, USA
Compiling Safe Mobile Code, R. Venugopal, Hewlett-Packard India Software Operation Ltd., India and Ravindra B. Keskar, Sasken Communication Technologies Ltd., India
Type Systems in Programming Languages, Ramesh Subrahmanyam, Burning Glass Technologies, USA
An Introduction to Operational Semantics, Sanjeeva Prasad and S. Arun Kumar, Indian Institute of Technology, Delhi, India
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
