Reinhard Wilhelm
Proceedings of the 10th International Conference on Compiler Construction
CC, 2001.

@proceedings{CC-2001,
	address       = "ETAPS 2001 Genova, Italy",
	editor        = "Reinhard Wilhelm",
	isbn          = "3-540-41861-X",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 10th International Conference on Compiler Construction}",
	volume        = 2027,
	year          = 2001,
}

Contents (26 items)

4 ×#analysis
3 ×#compilation
3 ×#generative
3 ×#optimisation
3 ×#source code
2 ×#array
2 ×#framework
2 ×#parsing
2 ×#pipes and filters
2 ×#pointer

CC-2001-Madsen #implementation

Virtual Classes and Their Implementation (OLM), pp. 1–2.

CC-2001-MartenaP #alias #analysis #model checking

Alias Analysis by Means of a Model Checker (VM, PSP), pp. 3–19.

CC-2001-RountevR #analysis #library #points-to #source code

Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries (AR, BGR), pp. 20–36.

CC-2001-MehoferS #data flow #framework #novel #probability

A Novel Probabilistic Data Flow Framework (EM, BS), pp. 37–51.

CC-2001-LaceyM #imperative #program transformation

Imperative Program Transformation by Rewriting (DL, OdM), pp. 52–68.

CC-2001-FrankeO #array #compilation #pointer

Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications (BF, MFPO), pp. 69–85.

CC-2001-SchuppGML #generative #type system

User-Extensible Simplification — Type-Based Optimizer Generators (SS, DG, DRM, SML), pp. 86–101.

CC-2001-TiceG #generative #robust

A Practical, Robust Method for Generating Variable Range Tables (CT, SLG), pp. 102–117.

CC-2001-Engelen #analysis #compilation #optimisation #performance

Efficient Symbolic Analysis for Optimizing Compilers (RvE), pp. 118–132.

CC-2001-RinetzkyS #analysis #interprocedural #recursion #source code

Interprocedural Shape Analysis for Recursive Programs (NR, SS), pp. 133–149.

CC-2001-RuginaR #compilation

Design-Driven Compilation (RR, MCR), pp. 150–164.

CC-2001-MuthukumarD #pipes and filters

Software Pipelining of Nested Loops (KM, GD), pp. 165–181.

CC-2001-YunKM #control flow #pipes and filters #towards

A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows (HSY, JK, SMM), pp. 182–199.

CC-2001-Gregg #scheduling

Comparing Tail Duplication with Compensation Code in Single Path Global Instruction Scheduling (DG), pp. 200–212.

CC-2001-Touati

Register Saturation in Superscalar and VLIW Codes (SAAT), pp. 213–228.

CC-2001-AycockH #earley #parsing

Directly-Executable Earley Parsing (JA, RNH), pp. 229–243.

CC-2001-FarreG #bound #parsing

A Bounded Graph-Connect Construction for LR-regular Parsers (JF, JFG), pp. 244–258.

CC-2001-KandemirU #array #locality #optimisation #unification

Array Unification: A Locality Optimization Technique (MTK), pp. 259–273.

CC-2001-OttoniRARM #embedded #source code

Optimal Live Range Merge for Address Register Allocation in Embedded Programs (GO, SR, GA, SR, SM), pp. 274–288.

CC-2001-StoutchininAGDJD #induction #pointer

Speculative Prefetching of Induction Pointers (AS, JNA, GRG, JCD, SJ, AD), pp. 289–303.

CC-2001-Siebert #garbage collection

Constant-Time Root Scanning for Deterministic Garbage Collection (FS), pp. 304–318.

CC-2001-WattersonD #profiling

Goal-Directed Value Profiling (SAW, SKD), pp. 319–333.

CC-2001-PominvilleQVHV #framework #java #optimisation #using

A Framework for Optimizing Java Using Attributes (PP, FQ, RVR, LJH, CV), pp. 334–354.

CC-2001-AttaliCDFPP #generative #interactive #named #tool support

SmartTools: A Generator of Interactive Environments Tools (IA, CC, PD, AF, DP, CP), pp. 355–360.

CC-2001-JungKSS #visual notation

Visual Patterns in the VLEli System (MTJ, UK, CS, CS), pp. 361–364.

CC-2001-BrandDHJJKKMOSVVV #asf+sdf #component #development #ide

The ASF+SDF Meta-environment: A Component-Based Language Development Environment (MvdB, AvD, JH, HAdJ, MdJ, TK, PK, LM, PAO, JS, JJV, EV, JV), pp. 365–370.