Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps (Paperback, 2001)

Invited Paper.- Virtual Classes and Their Implementation.- Program Analysis.- 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.- Program Transformation.- 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.- Program Analysis.- Efficient Symbolic Analysis for Optimizing Compilers.- Interprocedural Shape Analysis for Recursive Programs.- Design-Driven Compilation.- Intraprocessor Parallelism.- 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.- Parsing.- Directly-Executable Earley Parsing.- A Bounded Graph-Connect Construction for LR-regular Parsers.- Memory Hierarchy.- Array Unification: A Locality Optimization Technique.- Optimal Live Range Merge for Address Register Allocation in Embedded Programs.- Speculative Prefetching of Induction Pointers.- Constant-Time Root Scanning for Deterministic Garbage Collection.- Profiling.- Goal-Directed Value Profiling.- A Framework for Optimizing Java Using Attributes.- Demos.- SmartTools: A Generator of Interactive Environments Tools.- Visual Patterns in the VLEli System.- The Asf+Sdf Meta-environment: A Component-Based Language Development Environment.