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

Ole Lehrmann Madsen (auth.), Reinhard Wilhelm (eds.)354041861X, 9783540418610

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these – tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

---

Table of contents :
Virtual Classes and Their Implementation….Pages 1-2
Alias Analysis by Means of a Model Checker….Pages 3-19
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries….Pages 20-36
A Novel Probabilistic Data Flow Framework….Pages 37-51
Imperative Program Transformation by Rewriting….Pages 52-68
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications….Pages 69-85
User-Extensible Simplification—Type-Based Optimizer Generators….Pages 86-101
A Practical, Robust Method for Generating Variable Range Tables….Pages 102-117
Efficient Symbolic Analysis for Optimizing Compilers….Pages 118-132
Interprocedural Shape Analysis for Recursive Programs….Pages 133-149
Design-Driven Compilation….Pages 150-164
Software Pipelining of Nested Loops….Pages 165-181
A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows….Pages 182-199
Comparing Tail Duplication with Compensation Code in Single Path Global Instruction Scheduling….Pages 200-212
Register Saturation in Superscalar and VLIW Codes….Pages 213-228
Directly-Executable Earley Parsing….Pages 229-243
A Bounded Graph-Connect Construction for LR-regular Parsers….Pages 244-258
Array Unification: A Locality Optimization Technique….Pages 259-273
Optimal Live Range Merge for Address Register Allocation in Embedded Programs….Pages 274-288
Speculative Prefetching of Induction Pointers ….Pages 289-303
Constant-Time Root Scanning for Deterministic Garbage Collection….Pages 304-318
Goal-Directed Value Profiling….Pages 319-333
A Framework for Optimizing Java Using Attributes….Pages 334-354
SmartTools: A Generator of Interactive Environments Tools….Pages 355-360
Visual Patterns in the VLEli System….Pages 361-364
The A sf +S df Meta-environment: A Component-Based Language Development Environment….Pages 365-370