Compiler Construction

14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings


ISBN: 978-3-540-25411-9 (Print) 978-3-540-31985-6 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talk

    1. Book Chapter

      Pages 1-9

      When Abstraction Fails

  3. Compilation

    1. Book Chapter

      Pages 10-26

      Source-Level Debugging for Multiple Languages with Modest Programming Effort

    2. Book Chapter

      Pages 27-42

      Compilation of Generic Regular Path Expressions Using C++ Class Templates

    3. Book Chapter

      Pages 43-58

      XML Goes Native: Run-Time Representations for Xtatic

  4. Parallelism

    1. Book Chapter

      Pages 59-75

      Boosting the Performance of Multimedia Applications Using SIMD Instructions

    2. Book Chapter

      Pages 76-90

      Task Partitioning for Multi-core Network Processors

    3. Book Chapter

      Pages 91-105

      Experiences with Enumeration of Integer Projections of Parametric Polytopes

    4. Book Chapter

      Pages 106-120

      Generalized Index-Set Splitting

  5. Memory Management

    1. Book Chapter

      Pages 121-136

      Age-Oriented Concurrent Garbage Collection

    2. Book Chapter

      Pages 137-155

      Optimizing C Multithreaded Memory Management Using Thread-Local Storage

    3. Book Chapter

      Pages 156-171

      An Efficient On-the-Fly Cycle Collection

  6. Program Transformations

    1. Book Chapter

      Pages 172-187

      Data Slicing: Separating the Heap into Independent Regions

    2. Book Chapter

      Pages 188-203

      A Compiler-Based Approach to Data Security

    3. Book Chapter

      Pages 204-220

      Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules

    4. Book Chapter

      Pages 221-236

      Verification of Source Code Transformations by Program Equivalence Checking

  7. Tool Demonstrations

    1. Book Chapter

      Pages 237-241

      Hob: A Tool for Verifying Data Structure Consistency

    2. Book Chapter

      Pages 242-245

      Jazz: A Tool for Demand-Driven Structural Testing

    3. Book Chapter

      Pages 246-249

      Tiger – An Interpreter Generation Tool

    4. Book Chapter

      Pages 250-254

      CodeSurfer/x86—A Platform for Analyzing x86 Executables

  8. Pointer Analysis

    1. Book Chapter

      Pages 255-270

      A Study of Type Analysis for Speculative Method Inlining in a JIT Environment

previous Page of 2