Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Görel Hedin

    1. Department of Computer Science, Lund University, Lund, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: CC 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Register Allocation

    1. Combined Code Motion and Register Allocation Using the Value State Dependence Graph

      • Neil Johnson, Alan Mycroft
      Pages 1-16

    2. Early Control of Register Pressure for Software Pipelined Loops

      • Sid-Ahmed-Ali Touati, Christine Eisenbeis
      Pages 17-32

    3. Register Allocation by Optimal Graph Coloring

      • Christian Andersson
      Pages 33-45

  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

    3. A New One-Pass Transformation into Monadic Normal Form

      • Olivier Danvy
      Pages 77-89

  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

  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

    3. Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences

      • Etienne Gagnon, Laurie Hendren
      Pages 170-184

    4. Integrating Generations with Advanced Reference Counting Garbage Collectors

      • Hezi Azatchi, Erez Petrank
      Pages 185-199

  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

    4. Rapid and Robust Compiler Construction Using Template-Based Metacompilation

      • C. van Reeuwijk
      Pages 247-261

  8. ETAPS Invited Talk

    1. The Verifying Compiler: A Grand Challenge for Computing Research

      • Tony Hoare
      Pages 262-272
Back to top

Other volumes

  1. Compiler Construction

Keywords

About this book

 

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.

Editors and Affiliations

  • Department of Computer Science, Lund University, Lund, Sweden

    Görel Hedin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation