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 ProceedingsAuthor: Reinhard Wilhelm Published by Springer Berlin Heidelberg ISBN: 978-3-540-41861-0 DOI: 10.1007/3-540-45306-7Table 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