Compiler Construction

12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

  • Görel Hedin
Conference proceedings CC 2003

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2622)

Table of contents

  1. Front Matter
    Pages I-XII
    PDF

  2. Register Allocation

    1. Combined Code Motion and Register Allocation Using the Value State Dependence Graph
      Neil Johnson, Alan Mycroft
      Pages 1-16
      PDF
    2. Early Control of Register Pressure for Software Pipelined Loops
      Sid-Ahmed-Ali Touati, Christine Eisenbeis
      Pages 17-32
      PDF
    3. Register Allocation by Optimal Graph Coloring
      Christian Andersson
      Pages 33-45
      PDF

  3. Language Constructs and Their Implementation

    1. A Compilation and Optimization Model for Aspect-Oriented Programs
      H. Masuhara, G. Kiczales, C. Dutchyn
      Pages 46-60
      PDF
    2. A Pattern Matching Compiler for Multiple Target Languages
      Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
      Pages 61-76
      PDF
    3. A New One-Pass Transformation into Monadic Normal Form
      Olivier Danvy
      Pages 77-89
      PDF

  4. Type Analysis

    1. Run-Time Type Checking for Binary Programs
      Michael Burrows, Stephen N. Freund, Janet L. Wiener
      Pages 90-105
      PDF
    2. Precision in Practice: A Type-Preserving Java Compiler
      Christopher League, Zhong Shao, Valery Trifonov
      Pages 106-120
      PDF
    3. The MAGICA Type Inference Engine for MATLAB ®
      Pramod G. Joisha, Prithviraj Banerjee
      Pages 121-125
      PDF

  5. CC Invited Talk

    1. Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages
      Barbara G. Ryder
      Pages 126-137
      PDF

  6. Java

    1. Polyglot: An Extensible Compiler Framework for Java
      Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers
      Pages 138-152
      PDF
    2. Scaling Java Points-to Analysis Using Spark
      Ondřej Lhoták, Laurie Hendren
      Pages 153-169
      PDF
    3. Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences
      Etienne Gagnon, Laurie Hendren
      Pages 170-184
      PDF
    4. Integrating Generations with Advanced Reference Counting Garbage Collectors
      Hezi Azatchi, Erez Petrank
      Pages 185-199
      PDF

  7. Pot Pourri

    1. The Interprocedural Express-Lane Transformation
      David Melski, Thomas Reps
      Pages 200-216
      PDF
    2. Automatic Detection of Uninitialized Variables
      Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho
      Pages 217-231
      PDF
    3. Generalised Regular Parsers
      Adrian Johnstone, Elizabeth Scott
      Pages 232-246
      PDF
    4. Rapid and Robust Compiler Construction Using Template-Based Metacompilation
      C. van Reeuwijk
      Pages 247-261
      PDF

  8. ETAPS Invited Talk

    1. The Verifying Compiler: A Grand Challenge for Computing Research
      Tony Hoare
      Pages 262-272
      PDF

About these proceedings

Introduction

 

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.

Keywords

Java Variable algorithms compiler construction compiler optimization inference engine language processing object-oriented programming optimization parsing program transformation programming language programming language design programming language implementation proving

Editors and affiliations

  • Görel Hedin
    • 1
  1. 1.Department of Computer ScienceLund UniversityLundSweden

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-36579-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00904-7
  • Online ISBN 978-3-540-36579-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site