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

DOI: 10.1007/3-540-36579-6

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

Table of contents (23 papers)

  1. Front Matter
    Pages I-XII
  2. Register Allocation

  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
    2. A Pattern Matching Compiler for Multiple Target Languages
      Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
      Pages 61-76
  4. Type Analysis

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

  6. Java

    1. Polyglot: An Extensible Compiler Framework for Java
      Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers
      Pages 138-152
    2. Scaling Java Points-to Analysis Using Spark
      Ondřej Lhoták, Laurie Hendren
      Pages 153-169
  7. Pot Pourri

    1. The Interprocedural Express-Lane Transformation
      David Melski, Thomas Reps
      Pages 200-216
    2. Automatic Detection of Uninitialized Variables
      Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho
      Pages 217-231
    3. Generalised Regular Parsers
      Adrian Johnstone, Elizabeth Scott
      Pages 232-246
  8. ETAPS Invited Talk

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

  • 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