Compiler Construction 编译程序构造

The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available.
The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes.
—proceedings （published in time for the respective conference）
—post-proceedings （consisting of thoroughly revised final full papers）
—research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）.

Invited Talk
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
Author Index