Compiler Construction

by Hedin, Gorel; Etaps 200 (2003 Warsaw, Poland)

• ISBN13: 9783540009047
• ISBN10: 3540009043
• Format: Paperback
• Copyright: 2003-04-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, Poland, in April 2003. The 20 revised full regular papers and one tool demonstration paper presented together with two invited papers were carefully reviewed and selected from 83 submissions. The papers are organized in topical sections on register allocation, language constructs and their implementation, type analysis, Java, pot pourri, and optimization.

Table of Contents

Register Allocation
Combined Code Motion and Register Allocation Using the Value State Dependence Graph	1	(16)
Neil Johnson
Alan Mycroft
Early Control of Register Pressure for Software Pipelined Loops	17	(16)
Sid-Ahmed-Ali Touati
Christine Eisenbeis
Register Allocation by Optimal Graph Coloring	33	(13)
Christian Andersson
Language Constructs and Their Implementation
A Compilation and Optimization Model for Aspect-Oriented Programs	46	(15)
Hidehiko Masuhara
Gregor Kiczales
Chris Dutchyn
A Pattern Matching Compiler for Multiple Target Languages	61	(16)
Pierre-Etinne Moreau
Christophe Ringeissen
Marian Vittek
A New One-Pass Transformation into Monadic Normal Form	77	(13)
Olivier Danvy
Type Analysis
Run-Time Type Checking for Binary Programs	90	(16)
Michael Burrows
Stephen N. Freund
Janet L. Wiener
Precision in Practice: A Type-Preserving Java Compiler	106	(15)
Christopher League
Zhong Shao
Valery Trifonov
The MAGICA Type Inference Engine for MATLAB®	121	(5)
Pramod G. Joisha
Prithviraj Banerjee
CC Invited Talk
Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages	126	(12)
Barbara G. Ryder
Java
Polyglot: An Extensible Compiler Framework for Java	138	(15)
Nathaniel Nystrom
Michael R. Clarkson
Andrew C. Myers
Scaling Java Points-to Analysis Using SPARK	153	(17)
Ondrej Lhotak
Laurie Hendren
Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences	170	(15)
Etienne Gagnon
Laurie Hendren
Integrating Generations with Advanced Reference Counting Garbage Collectors	185	(15)
Hezi Azatchi
Erez Petrank
Pot Pourri
The Interprocedural Express-Lane Transformation	200	(17)
David Melski
Thomas Reps
Automatic Detection of Uninitialized Variables	217	(15)
Thi Viet Nga Nguyen
Francois Irigoin
Corinne Ancourt
Fabien Coelho
Generalised Regular Parsers	232	(15)
Adrian Johnstone
Elizabeth Scott
Rapid and Robust Compiler Construction Using Template-Based Metacompilation	247	(15)
C. van Reeuwijk
ETAPS Invited Talk
The Verifying Compiler: A Grand Challenge for Computing Research	262	(11)
Tony Hoare
Optimization
Address Register Assignment for Reducing Code Size	273	(17)
M. Kandemir
M. J. Irwin
G. Chen
J. Ramanujam
Offset Assignment Showdown: Evaluation of DSP Address Code Optimization Algorithms	290	(13)
Rainer Leupers
Integrating High-Level Optimizations in a Production Compiler: Design and Implementation Experience	303	(17)
Somnath Ghosh
Abhay Kanhere
Rakesh Krishnaiyer
Dattatraya Kulkarni
Wei Li
Chu-Cheow Lim
John Ng
Improving Data Locality by Chunking	320	(15)
Cedric Bastoul
Paul Feautrier
Author Index	335