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 / Reinhard Wilhelm (ed.).

Includes bibliographical references and index.

Virtual classes and their implementtion / Ole Lehrman Madsen -- Alias analysis by means of a model checker / Vincenzo Martena, Pierluigi San Pietro -- Points-to and side-effect analyses for programs built with precompiled libraries / Atanas Rountev, Barbara G. Ryder -- Novel probabilistic data flow framework / Eduard Mehofer, Bernhard Scholz -- Imperative program transformation by rewriting / David Lacey, Oege de Moor -- Compiler transformation of pointers to explicit array accesses in DSP applications / Björn Franke, Michael O'Boyle -- User-extensible simplication-type-based optimizer generators / Sibylle Schupp [and others] -- Practical, robust method for generating vaviable range tables / Caroline Tice, Susan L. Graham -- Efficient symbolic analysis for optimizing compilers / Robert A. van Engelen -- Interprocedural shape analysis for recursive programs / Noam Rinetzky, Mooly Sagiv -- Design-driven compilation / Radu Rugina, Martin Rinard -- Software pipelining of nested loops / Kalyan Muthukumar, Gautam Doshi -- First step towards time optimal software pipelining of loops with control flows / Han-Saem Yun, Jihong Kim, Soo-Mool Moon -- Comparing tail duplication with compensation code in single path global instruction sheduling / David Gregg -- Register saturation in superscalar and VLIW codes / Sid Ahmed Ali Touati -- Directly-executable earley parsing / \John Aycock, Nigel Horspool -- Bounded graph-connect construction for LR-regular parsers / Jacques Farré, José Fortes Gálvez -- Array unification: a locality optimization technique / Mahmut Taylan Kandemir -- Optimal live range merge for address register allocation in embedded programs / Guilherme Ottoni [and others] -- Speculative prefetching of induction pointers / Artour Stoutchinin [and others] -- Constant-time root scanning for deterministic garbage collection / Fridtjof Siebert -- Goal-directed value profiling / Scott Watterson, Saumya Debray -- Framework for optimizing java using attributes / Patrice Pominville [and others] -- SmartTools: a generator of interactive environments tools / Isabelle Attati [and others] -- Visual patterns in the VLEli system / Matthias T. Jung [and others] -- Asf+Sdf meta-environment: a component-based language development environment / M.G.J. van den Brand [and others].

This book constitutes the refereed proceedings of the 10th International Conference on Compiler Construction, CC 2001, held in Genova, Italy in April 2001. The 22 revised full papers presented were carefully reviewed and selected from a total of 69 submissions. The papers are organized in topical sections on program analysis, program transformation, intraprocessor parallelism, parsing, memory hierarchy, profiling, and demos.