Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings

Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings

Paperback(2006)

$84.99
Want it by Wednesday, November 21 Order now and choose Expedited Shipping during checkout.

Product Details

ISBN-13: 9783540330509
Publisher: Springer Berlin Heidelberg
Publication date: 04/28/2006
Series: Lecture Notes in Computer Science , #3923
Edition description: 2006
Pages: 277
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Invited Talk.- Using Dependent Types to Port Type Systems to Low-Level Languages.- Program Analysis.- Interprocedural Dataflow Analysis in the Presence of Large Libraries.- Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers.- Path-Based Reuse Distance Analysis.- Context-Sensitive Points-to Analysis: Is It Worth It?.- Dynamic Analysis.- Selective Runtime Memory Disambiguation in a Dynamic Binary Translator.- Accurately Choosing Execution Runs for Software Fault Localization.- Tool Demonstrations.- Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork.- Data-Flow Analysis as Model Checking Within the jABC.- The CGiS Compiler—A Tool Demonstration.- Optimization.- Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode.- Hybrid Optimizations: Which Optimization Algorithm to Use?.- A Fresh Look at PRE as a Maximum Flow Problem.- Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations’ Perspective.- Code Generation.- Lightweight Lexical Closures for Legitimate Execution Stack Access.- Polyhedral Code Generation in the Real World.- Iterative Collective Loop Fusion.- Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions.- Register Allocation.- SARA: Combining Stack Allocation and Register Allocation.- Register Allocation for Programs in SSA-Form.- Enhanced Bitwidth-Aware Register Allocation.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews