Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
Author: Reinhard Wilhelm
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41861-0
DOI: 10.1007/3-540-45306-7

Table of Contents:

• Virtual Classes and Their Implementation
• Alias Analysis by Means of a Model Checker
• Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries
• A Novel Probabilistic Data Flow Framework
• Imperative Program Transformation by Rewriting
• Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications
• User-Extensible Simplification—Type-Based Optimizer Generators
• A Practical, Robust Method for Generating Variable Range Tables
• Efficient Symbolic Analysis for Optimizing Compilers
• Interprocedural Shape Analysis for Recursive Programs
• Design-Driven Compilation
• Software Pipelining of Nested Loops
• A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows
• Comparing Tail Duplication with Compensation Code in Single Path Global Instruction Scheduling
• Register Saturation in Superscalar and VLIW Codes
• Directly-Executable Earley Parsing
• A Bounded Graph-Connect Construction for LR-regular Parsers
• Array Unification: A Locality Optimization Technique
• Optimal Live Range Merge for Address Register Allocation in Embedded Programs
• Speculative Prefetching of Induction Pointers

Includes bibliographical references and index