Compiler Construction : 9th International Conference, Cc 2000, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000, Berlin, Germany, March/April Proceedings

by Watt, David A.; Watt, David A.; Etaps 200 (2000 Berlin, Germany)

• ISBN13: 9783540672630
• ISBN10: 354067263X
• Format: Paperback
• Copyright: 2000-04-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 9th International Conference on Compiler Construction, CC 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000. The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 46 submissions. Among the topics covered are shape analysis, code optimization, Java virtual machine interpreters, stock allocation, loop processing, compiler optimization, run-time parallelization, automata implementation, partial evaluation, attribute evaluation, etc.

Table of Contents

Shape Analysis	1	(17)
Reinhard Wilhelm
Mooly Sagiv
Thomas Reps
Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?	18	(17)
Raja Vallee-Rai
Etienne Gagnon
Laurie Hendren
Patrick Lam
Patrice Pominville
Vijay Sundaresan
Pipelined Java Virtual Machine Interpreters	35	(15)
Jan Hoogerbrugge
Lex Augusteijn
Automatic Removal of Array Memory Leaks in Java	50	(17)
Ran Shaham
Elliot K. Kolodner
Mooly Sagiv
A Static Study of Java Exceptions Using JESP	67	(15)
Barbara G. Ryder
Donald Smith
Ulrich Kremer
Michael Gordon
Nirav Shah
Fast Escape Analysis and Stack Allocation for Object-Based Programs	82	(12)
David Gay
Bjarne Steensgaard
Constant Propagation on the Value Graph: Simple Constants and Beyond	94	(16)
Jens Knoop
Oliver Ruthing
Simple Generation of Static Single-Assignment Form	110	(15)
John Aycock
Nigel Horspool
Demand-Driven Construction of Call Graphs	125	(16)
Gagan Agrawal
A Framework for Loop Distribution on Limited On-Chip Memory Processors	141	(16)
Lei Wang
Waibhav Tembe
Santosh Pande
Techniques for Effectively Exploiting a Zero Overhead Loop Buffer	157	(16)
Gang-Ryung Uh
Yuhong Wang
David Whalley
Sanjay Jinturkar
Chris Burns
Vincent Cao
Advanced Compiler Optimization for CalmRISC8 Low-End Embedded Processor	173	(16)
Dae-Hwan Kim
Global Software Pipelining with Iteration Preselection	189	(13)
David Gregg
Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations	202	(17)
Yuan Lin
David Padua
Advanced Scalarization of Array Syntax	219	(13)
Gerald Roth
Techniques for Reducing the Overhead of Run-Time Parallelization	232	(17)
Hao Yu
Lawrence Rauchwerger
MATOU: An Implementation of Mode-Automata	249	(15)
Florence Maraninchi
Yann Remond
Yannick Raoul
Compiling Adaptive Programs by Partial Evaluation	264	(15)
Peter Thiemann
Functional Incremental Attribute Evaluation	279	(16)
Joao Saraiva
Doaitse Swierstra
Matthijs Kuiper
Author Index	295