9. CC 2000:
Berlin,
Germany (Part of ETAPS 2000)
David A. Watt (Ed.):
Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, Proceedings.
Lecture Notes in Computer Science 1781 Springer 2000, ISBN 3-540-67263-X BibTeX
@proceedings{DBLP:conf/cc/2000,
editor = {David A. Watt},
title = {Compiler Construction, 9th International Conference, CC 2000,
Held as Part of the European Joint Conferences on the Theory
and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25
- April 2, 2000, Proceedings},
booktitle = {CC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1781},
year = {2000},
isbn = {3-540-67263-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps:
Shape Analysis.
1-17
Electronic Edition (Springer LINK) BibTeX
- Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan:
Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?
18-34
Electronic Edition (Springer LINK) BibTeX
- Jan Hoogerbrugge, Lex Augusteijn:
Pipelined Java Virtual Machine Interpreters.
35-49
Electronic Edition (Springer LINK) BibTeX
- Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv:
Automatic Removal of Array Memory Leaks in Java.
50-66
Electronic Edition (Springer LINK) BibTeX
- Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah:
A Static Study of Java Exceptions Using JESP.
67-81
Electronic Edition (Springer LINK) BibTeX
- David Gay, Bjarne Steensgaard:
Fast Escape Analysis and Stack Allocation for Object-Based Programs.
82-93
Electronic Edition (Springer LINK) BibTeX
- Jens Knoop, Oliver Rüthing:
Constant Propagation on the Value Graph: Simple Constants and Beyond.
94-109
Electronic Edition (Springer LINK) BibTeX
- John Aycock, R. Nigel Horspool:
Simple Generation of Static Single-Assignment Form.
110-124
Electronic Edition (Springer LINK) BibTeX
- Gagan Agrawal:
Demand-Driven Construction of Call Graphs.
125-140
Electronic Edition (Springer LINK) BibTeX
- Lei Wang, Waibhav Tembe, Santosh Pande:
A Framework for Loop Distribution on Limited On-Chip Memory Processors.
141-156
Electronic Edition (Springer LINK) BibTeX
- Gang-Ryung Uh, Yuhong Wang, David B. Whalley, Sanjay Jinturkar, Chris Burns, Vincent Cao:
Techniques for Effectively Exploiting a Zero Overhead Loop Buffer.
157-172
Electronic Edition (Springer LINK) BibTeX
- Dae-Hwan Kim:
Advanced Compiler Optimization for Calm RISC8 Low-End Embedded Processor.
173-188
Electronic Edition (Springer LINK) BibTeX
- David Gregg:
Global Software Pipelining with Iteration Preselection.
189-201
Electronic Edition (Springer LINK) BibTeX
- Yuan Lin, David A. Padua:
Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations.
202-218
Electronic Edition (Springer LINK) BibTeX
- Gerald Roth:
Advanced Scalarization of Array Syntax.
219-231
Electronic Edition (Springer LINK) BibTeX
- Hao Yu, Lawrence Rauchwerger:
Techniques for Reducing the Overhead of Run-Time Parallelization.
232-248
Electronic Edition (Springer LINK) BibTeX
- Florence Maraninchi, Yann Rémond, Yannick Raoul:
MATOU: An Implementation of Mode-Automata.
249-263
Electronic Edition (Springer LINK) BibTeX
- Peter Thiemann:
Compiling Adaptive Programs by Partial Evaluation.
264-278
Electronic Edition (Springer LINK) BibTeX
- João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper:
Functional Incremental Attribute Evaluation.
279-294
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:00:44 2009
by Michael Ley (ley@uni-trier.de)