product iamge

Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book constitutes the refereed proceedings of the 16th International Conference on Compiler Construction, CC 2007, held in Braga, Portugal, in March 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software.

The 15 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on architecture, garbage collection and program analysis, register allocation, and program analysis.

Author(s): Liza Fireman, Erez Petrank, Ayal Zaks (auth.), Shriram Krishnamurthi, Martin Odersky (eds.)
Series: Lecture Notes in Computer Science 4420
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007

Language: English
Pages: 236
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Artificial Intelligence (incl. Robotics)

Front Matter....Pages -
New Algorithms for SIMD Alignment....Pages 1-15
Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors....Pages 16-31
An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures....Pages 32-47
Using Prefetching to Improve Reference-Counting Garbage Collectors....Pages 48-63
Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks....Pages 64-79
Correcting the Dynamic Call Graph Using Control-Flow Constraints....Pages 80-95
Obfuscating Java: The Most Pain for the Least Gain....Pages 96-110
A Fast Cutting-Plane Algorithm for Optimal Coalescing....Pages 111-125
Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation....Pages 126-140
Extended Linear Scan: An Alternate Foundation for Global Register Allocation....Pages 141-155
Program Refactoring, Program Synthesis, and Model-Driven Development....Pages 156-171
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries....Pages 172-186
Layout Transformations for Heap Objects Using Static Access Patterns....Pages 187-201
A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees....Pages 202-217
A Declarative Framework for Analysis and Optimization....Pages 218-232
Back Matter....Pages -