Compiler Construction

11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

  • R. Nigel Horspool
Conference proceedings CC 2002

DOI: 10.1007/3-540-45937-5

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

Table of contents (23 papers)

  1. Front Matter
    Pages I-XI
  2. Tool Demonstrations

    1. LISA: An Interactive Environment for Programming Language Development
      Marjan Mernik, Mitja Lenič, Enis Avdičaušević, Viljem Žumer
      Pages 1-4
    2. Building an Interpreter with Vmgen
      M. Anton Ertl, David Gregg
      Pages 5-8
    3. Compiler Construction Using LOTOS NT
      Hubert Garavel, Frédéric Lang, Radu Mateescu
      Pages 9-13
  3. Analysis and Optimization

  4. Low-Level Analysis

    1. Online Subpath Profiling
      David Oren, Yossi Matias, Mooly Sagiv
      Pages 78-94
    2. Precise Exception Semantics in Dynamic Compilation
      Michael Gschwind, Erik Altman
      Pages 95-110
    3. Decompiling Java Bytecode: Problems, Traps and Pitfalls
      Jerome Miecznikowski, Laurie Hendren
      Pages 111-127
  5. Grammars and Parsing

    1. Forwarding in Attribute Grammars for Modular Language Design
      Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski
      Pages 128-142
    2. Disambiguation Filters for Scannerless Generalized LR Parsers
      Mark G. J. van den Brand, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser
      Pages 143-158
  6. Invited Talk

    1. Modular Static Program Analysis
      Patrick Cousot, Radhia Cousot
      Pages 159-179
  7. Domain-Specific Languages and Tools

    1. StreamIt: A Language for Streaming Applications
      William Thies, Michal Karczmarek, Saman Amarasinghe
      Pages 179-196
    2. Compiling Mercury to High-Level C Code
      Fergus Henderson, Zoltan Somogyi
      Pages 197-212
    3. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
      George C. Necula, Scott McPeak, Shree P. Rahul, Westley Weimer
      Pages 213-228
  8. Energy Consumption Optimizations

    1. Linear Scan Register Allocation in the Context of SSA Form and Register Constraints
      Hanspeter Mössenböck, Michael Pfeiffer
      Pages 229-246
    2. Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation
      Andrea G. M. Cilio, Henk Corporaal
      Pages 247-261
    3. Optimizing Static Power Dissipation by Functional Units in Superscalar Processors
      Siddharth Rele, Santosh Pande, Soner Onder, Rajiv Gupta
      Pages 261-275

About these proceedings

Introduction

ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Keywords

Attribut Compiler Construction Compiler Optimization Exception Java Language Processing Program Analysis Program Compilation Program Tranformation Programming Language Implementation Text data compression data structures programming programming language

Editors and affiliations

  • R. Nigel Horspool
    • 1
  1. 1.Dept. of Computer ScienceUniversity of VictoriaVictoriaCanada

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43369-9
  • Online ISBN 978-3-540-45937-8
  • Series Print ISSN 0302-9743